endliche Menge

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 gemäß ihrer Definition keine Elemente, d. h. die Anzahl der Elemente ist , sie gilt daher auch als endliche Menge. Die Mächtigkeit oder 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. Eine Menge, die nicht endlich ist, wird als unendliche Menge bezeichnet.