Seien M {\displaystyle {}M} und N {\displaystyle {}N} endliche Mengen mit n {\displaystyle {}n} Elementen. Dann sind für eine Abbildung
die Begriffe injektiv, surjektiv und bijektiv äquivalent.