Специализированный (предварительный) заказ
- В топологии существует специальный предварительный порядок, который является естественным для большинства пространств.
- Для пространств T1 порядок специализации становится тривиальным и не представляет особого интереса.
- Порядок специализации важен для определения подходящих топологий на частично упорядоченных множествах.
- Определение и мотивация порядка специализации связаны с замкнутыми множествами и их свойствами.
- В теории предметной области используется представление о том, что верхние элементы являются более конкретными.
- Предварительный заказ специализации является предварительным порядком, рефлексивным и транзитивным.
- Отношение эквивалентности, определяемое порядком специализации, является топологической неразличимостью.
- Порядок специализации не представляет большого интереса для топологий T1, особенно для хаусдорфовых пространств.
Полный текст статьи: