Аксиомы замыкания Куратовского
- Оператор замыкания Куратовского используется для определения замкнутых множеств в топологии.
- Семейство всех дополнений замкнутых множеств удовлетворяет трем обычным требованиям к топологии.
- Оператор замыкания Куратовского сохраняет пустое множество и сохраняет бинарные объединения.
- Индукция замыкания из топологии позволяет построить оператор замыкания Куратовского, используя аксиомы [T1]-[T3].
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: