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.