Счётное множество

Определение "Счётное множество" в Большой Советской Энциклопедии

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