lautet:

Für Mengen A und B folgt aus\(A\lesssim B\)und\(B\lesssim A\), daß A ≈ B.

Hierbei bedeutet\(A\lesssim B\), daß es eine injektive Abbildung i : A → B gibt, und A ≈ B bedeutet, daß es eine bijektive Abbildung b : A → B gibt.

Kardinalzahlen und Ordinalzahlen