16.7 Топология

Условие: Пусть \( X- \) бесконечное множество, а \( \mathcal{T} \)-совокупность тех подмножеств \( X \), дополнение до которых конечно. Показать, что \( \mathcal{T} \) является топологией.