**Мощность** множества или кардинальное число множества — это обобщение понятия количества (числа элементов множества), которое имеет смысл для всех множеств, включая бесконечные. Существуют большие, есть меньшие бесконечные множества, среди них счётное множество является самым маленьким.