a_42的势通常标记为formula_43。其幂集的势则通常标记为formula_44。假定选择公理，无限集合的势可标记为自然数集的势标记为formula_49，而实数集的势则被标记为formula_50。可以证明formula_51。（请看对角论证法）。连续统假设断言不存在介于实数集的势和自然数集的势之间的基数，亦即formula_52。
例子和其他性质.证明：假设存在此一集合formula_56。然后设formula_57为formula_56的幂集，formu