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