За что я не люблю Топологию:
Х - некоторое множество
Р(Х) - множество всех подмножеств множества Х
t из Р(Х) - подмножество множества всех подмножеств множества Х (или топология)
а Т(Х) - множество всех топологий, то есть множество всех подмножеств множества всех подмножеств множества Х.
Вам еще не нравится топология?
Тогда надо добавить, что после этого мы берем подмножество К из Т(Х) (подмножество множества всех ...), находим его инфинум и супремум и доказываем, что это тоже топологии....