等势可被视为在所有集合的类上的等价关系。一集合"formula_1"在此关系下的等价类包含所有和"formula_1"等势的集合。然后，接下来可以有两种定义「一集合的势」的处理方式。集合formula_42的势通常标记为formula_43。其幂集的势则通常标记为formula_44。假定选择公理，无限集合的势可标记为自然数集的势标记为formula_49，而实数集的势则被标记为formula_50。可以证明formula_51。（请看对角论证法）。连续统假设断言不存在介于实数集的势和自然