Eine Menge M {\displaystyle {}M} heißt endlich mit n {\displaystyle {}n} Elementen, wenn es eine Bijektion
gibt.