Definition. (gleichmächtig)

Zwei Mengen $M$ und $N$ sind gleichmächtig (Bez.: $M~N$) =Df