Мощность множества — обобщение на произвольные множества понятия «число элепментов»; определяется методом абстракции как то общее, что есть у всех множеств, эквивалентных (количественно) данному; при этом два множества называются эквивалентными, если между ними можно установить взаимно однозначное соответствие; называется часто кардинальным (т.е. количественными) числом; наименьшей бесконечной мощностью является мощность множества натуральных чисел.
Понятие мощности введено основателем теории множеств Кантором (1878), который установил, что мощность множества действительных чисел больше мощности множества натуральных чисел, и тем самым показал, что бесконечные множества могут иметь различную мощность и поэтому могут быть расклассифицированы по их мощности.