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

• Множество натуральных чисел является счетным, что означает, что существует взаимно однозначное соответствие между натуральными числами и целыми числами. 
• Декартово произведение конечного числа счетных множеств также является счетным. 
• Множество всех целых чисел и рациональных чисел также являются счетными. 
• Объединение счетного числа счетных множеств также является счетным. 
• Множество всех последовательностей натуральных чисел конечной длины также является счетным. 
• Множество всех конечных подмножеств натуральных чисел также является счетным. 
• Теорема Кантора утверждает, что нет сюръективной функции от множества к его мощности. 
• Множество действительных чисел и множество всех бесконечных последовательностей натуральных чисел также являются неисчислимыми. 
• Минимальная стандартная модель теории множеств является счетной.