Diese Beziehung der Gleichmächtigkeit erfüllt die Eigenschaften der Reflexivität, der Symmetrie und der Transitivität, d.h. sie verhält sich wie eine Äquivalenzrelation auf der Familie aller Mengen7.
Problem 1.10.4. Verifizieren Sie die Eigenschaften der Reflexivität, der Symmetrie und der Transitivität!
Definition 1.10.5. Die Äquivalenzklasse
nennt man die Kardinalitt (Kardinalzahl, Mächtigkeit) der Menge .
7Aufgrund der Russelschen Antinomie vermeiden wir den Begriff “Mengen aller Mengen”, damit sprechen wir formal auch nicht von einer Relation auf Mengen. Ungeachtet dessen sind die folgenden Konstruktionen korrekt.