Es sei eine Menge und eine
Äquivalenzrelation
auf mit der
Quotientenmenge. Es sei
eine Abbildung mit
für alle
mit .
Dann gibt es eine eindeutig bestimmte Abbildung
mit
.
Es sei . Der Restklassenring ist genau dann ein Körper, wenn eine Primzahl ist.
Es sei eine -elementige Menge und eine -elementige Menge.
Dann ist die Anzahl der
surjektiven Abbildungen
von nach gleich