У меня возникла следующая задача:
Определение:

является топологическим пространством. Для

называется

антиокрестностью

, если

так, что

и

. Система антиокрестностей

состоит из всех антиокрестностей

. Характеризовать систему антиокрестностей аналогично системе окрестностей.
Не совсем понятно, как её решать... В первую очередь не понятно, как понимать слово "охарактеризовать". После некоторых размышлений в голову пришла следующая мысль: из всех возможных окрестностей к каким-то определённым топологическим базам рассмотреть те, которые не содержут точку

. Здесь есть подсказка: антиокресности должны быть
дополнением к окресностям.. Но для ответа это выглядит весьма простовато... В литереатуре ничего найти не удалось.
Просьба, всех кто сталкивался с такими задачами, намекнуть, в чём там дело (ну или оценить направление, в котором двигаюсь). Принимается любая помощь!