Сам Кантор використовував позначення . Іноді використовують позначення або . Визначення Припускаючи аксіому вибору істинною, потужність множини формально визначається як найменше порядкове число , за якого між і можна встановити бієктивну відповідність. Це визначення також називають розподілом кардинальних чисел за фон Нейманом.