Endliche Menge
\(\eqalign{ & f:M \to \left\{ {1,2,3,...,n} \right\} \cr & n = \left| M \right| \cr}\)
Eine endliche Menge enthält endlich viele Elemente.
Genauer: Eine nichtleere Menge M heißt endlich, wenn es eine natürliche Zahl n gibt, und obige bijektive Abbildung gilt.