Endliche Mengen/Anzahl/Wohldefiniert/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Beweis 1, 2, Alternativen Beweis erstellen