Мощность конечного множества - это натуральное число, количество элементов в множестве.
Мощность набора - это кардинальное число, которое указывает, сколько вещей находится в наборе. Известная теорема Кантора заключается в том, что мощность действительных чисел больше, чем мощность натуральных чисел.