Счётное множество, бесконечное множество, элементы которого можно занумеровать натуральными числами, то есть установить взаимно однозначное соответствие между этим множеством и множеством всех натуральных чисел. Как доказал Г. Кантор, множество всех рациональных чисел и даже множество всех алгебраических чисел — счётны, однако множество всех действительных чисел — несчётно, всякое бесконечное множество содержит счётное подмножество. Сумма конечного или счётного множества С. м. также является С. м.