Вопрос скорее праздный. Как известно, для каждого множества

, топологии в виде системы открытых множеств

на

, множества

, функции

есть топология

на

, равная

, которая называется индуцированной. Она имеет красивые свойства, но сейчас не об этом. Как выразить соответствующую конструкцию для операторов внутренности? Понятно, что можно превратить оператор внутренности в топологию, индуцировать и превратить топологию в оператор внутренности. Есть ли более простое выражение?