Zählen/Digitale Uhr/Definiere Nachfolgerabbildung/Aufgabe

Wir betrachten eine digitale Uhr, die ${}24$ Stunden, ${}60$ Minuten und ${}60$ Sekunden anzeigt. Beschreibe die möglichen Zustände (also die möglichen Zeitangaben) mit Hilfe einer geeigneten Produktmenge. Definiere (mit Hilfe von geeigneten Hilfsabbildungen)

die Nachfolgerabbildung, die zu jeder Zeitangabe die Zeitangabe der nächsten Sekunde berechnet.