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

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

gibt.