Існує взаємно однозначна відповідність між множиною A і деякою власною підмножиною B множини B. Тоді кажуть, що потужність множини A не більша від потужності множини B і записують |A|≤|B|. Множина A рівнопотужна деякій підмножині множини B і, навпаки, множина B рівнопотужна деякій підмножині множини A, тобто A~B' ⊆ B і B~A' ⊆ A. За теоремою Кантора — Бернштейна, у цьому випадку виконується A ~ B, тобто |A|=|B|.