Endliche Mengen/Anzahl/Wohldefiniert/Fakt

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.