Zwei Mengen X und Y heißen gleichmächtig, wenn es eine bijektive Abbildung f:X⟶Y gibt. Wir schreiben dann ∣X∣=∣Y∣