Es sei M {\displaystyle {}M} eine endliche Menge. Zeige, dass die Anzahl von M {\displaystyle {}M} wohldefiniert ist.