Mengen lassen sich in beschreibender oder in aufzählender Form angeben.Ist x ein Element der Menge M, so schreibt man x ∈ M .Ist x kein Element der Menge M, so schreibt man x ∉ M .
Zwei Mengen A und B sind zueinander gleichmächtig (A ~ B), wenn es eine eineindeutige Abbildung von A auf B gibt.Jedem Element von A kann also genau ein Element von B und zugleich jedem Element von B genau ein Element von A zugeordnet werden.