Kategorie:Theorie der Nachfolgerabbildung auf den ganzen Zahlen/Definitionen