Endliche Mengen/Anzahl/Wohldefiniert/Fakt

Satz über die Wohldefiniertheit der Anzahl

Wenn ${}M$ eine Menge ist und wenn

$\varphi \colon {\{1,\ldots ,n\}}\longrightarrow M$

und

$\psi \colon \{1,\ldots ,k\}\longrightarrow M$

bijektive Abbildungen sind,

so ist

${}n=k\,.$

Die Anzahl einer endlichen Menge ist also wohldefiniert.

Beweis 1, 2, Alternativen Beweis erstellen