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.