george66
Похоже на топологию Скотта. Но там еще условие, замкнутое множество вместе со всякой под-направленностью содержит и ее твг (в открытых коряво выглядит).
Это называется "порядок Александрова". Каждая топология задаёт такой порядок, но уже для

он вырождается в равенство.