Wenn ${\displaystyle {}M}$ eine Menge ist und wenn

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

und

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

bijektive Abbildungen sind,

so ist

Die Anzahl einer endlichen Menge ist also wohldefiniert.