Колмогоров, Фомин. Элементы теории функций и функционального анализа. 7-е изд. стр. 96 писал(а):
Теорема 3. Для того чтобы система

была базой данной топологии

, необходимо и достаточно следующее условие:
3) для каждого открытого множества

и каждой точки

существует такое

, что

.
Что значит

?
В моем понимании:

- множество множеств, замкнутое относительно объединения и пересечения своих элементов(

), но не пустое: должно содержать пустое и еще какое-нибудь множество.

- подмножество

, объединяя его элементы можно получить любой элемент

Получается, что можно написать
