In der
Mengenlehre, einem Teilgebiet der
Mathematik, ist eine
endliche Menge eine
Menge mit endlich vielen
Elementen. So ist beispielsweise die Menge
eine endliche Menge mit vier Elementen. Die
leere Menge hat per definitionem keine Elemente, d. h. die Anzahl der Elemente (
Kardinalität oder Mächtigkeit) ist
, sie gilt daher auch als endliche Menge. Die Kardinalität (geschrieben für eine Menge
) einer endlichen Menge wird mit einer
natürlichen Zahl (unter Einbeziehung der
Null) identifiziert, beispielsweise schreibt man dann , um auszudrücken, dass
aus vier Elementen besteht.