Mengenrelationen

Zwei Mengen sind gleich, wenn sie dieselben Elemente besitzen.

Zwei Mengen A und B sind gleichmächtig, wenn es eine umkehrbar eindeutige (eineindeutige) Abbildung gibt, bei der jedem Element der einen Menge genau ein Element der anderen Menge zugeordnet wird (Zeichen: A ~ B).

Die Menge A ist Teilmenge der Menge B, wenn jedes Element von A zugleich in B enthalten ist.
B heißt dann Obermenge von A.