"eine Bijektive Abbildung f:X->{1,...,n}" existiert.
Heisst, dass du die Elemente von X von 1 bis n nummeriert werden können.
Kein Element soll 2 Nummern haben. Ebenso hat kein Element keine Nummer.
Ausserdem nennt man auch die leere Menge endlich.
"eine Bijektive Abbildung f:X->{1,...,n}" existiert.
Heisst, dass du die Elemente von X von 1 bis n nummeriert werden können.
Kein Element soll 2 Nummern haben. Ebenso hat kein Element keine Nummer.
Ausserdem nennt man auch die leere Menge endlich.