Zum Inhalt springen

Endliche Mengen/Anzahl/Wohldefiniert/Fakt

Aus Wikiversity
Satz über die Wohldefiniertheit der Anzahl

Wenn eine Menge ist und wenn

und

bijektive Abbildungen sind,

so ist

Die Anzahl einer endlichen Menge ist also wohldefiniert.