Zwei (evtl. unendliche) Mengen sind gleich groß/mächtig, wenn es eine bijektive Abbildung zwischen ihnen gibt.
Zum Beispiel ist die Menge N der natürlichen Zahlen unendlich. Man kann zB. zeigen, dass die Menge der 2-Tupel der natürlichen Zahlen NxN gleichgroß ist, ebenso bei den ganzen Zahlen Z und so weiter ...
Andererseits gibt es keine bijektive Abbildung zwischen reellen Zahlen R und N.
Ist also alles bloß Definitionsfrage
Hilberts Hotel sollte dir auch gefallen.