Хороший порядок

• Порядок — это отношение между элементами множества, которое определяет их порядок. 
• Множество может быть частично упорядочено или полностью упорядочено. 
• Частично упорядоченное множество имеет наименьший элемент и может иметь другие свойства. 
• Полностью упорядоченное множество обладает эквивалентными формулировками, такими как хорошо упорядоченное и трансфинитная индукция. 
• Упорядоченная топология превращает хорошо упорядоченные множества в топологические пространства с различными типами элементов. 
• Хорошо упорядоченное множество как топологическое пространство является первым счетным пространством, если его тип порядка меньше или равен ω1.