Endliche Mengen/Anzahl/Wohldefiniert/Fakt/Name/Inhalt

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\,.$