Основная статья: Мощность множества
Мощность множества — характеристика множества, обобщающая понятие о количестве элементов для конечного множества таким образом, чтобы множества, между которыми возможно установление биекции были равномощны. Обозначается 
или 
. Мощность пустого множества равна нулю, для конечных множеств мощность совпадает с числом элементов, для бесконечных множеств вводятся специальные кардинальные числа, соотносящиеся друг с другом по принципу включения (если 
, то 
) и распространением свойства мощности булеана конечного множества: 
на случай бесконечных множеств (само обозначение 
мотивировано этим свойством).
Наименьшая бесконечная мощность обозначается 
, это мощность счётного множества. Мощность континуума, биективного булеану счётного множества обозначается 
или 
. Континуум-гипотеза — предположение о том, что между счётной мощностью и мощностью континуума нет промежуточных мощностей.
