Endliche Menge/1...n/Definition/Begriff/Inhalt

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

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

gibt.