Свойства:

Любое бесконечное множество содержит счетное подмножество