Äquivalenz (Mengenlehre)

Zwei Mengen M₁ und M₂ heißen äquivalent oder gleichmächtig (in Zeichen: M₁∼M₂), wenn es eine bijektive Abbildung zwischen M₁ und M₂ gibt. So sind z. B. die Menge der geraden natürlichen Zahlen {2, 4, 6, ...} und die Menge der ungeraden natürlichen Zahlen {1, 3, 5, ...} äquivalent.