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

либо таблицу с базами нужно уточнить: например, называть базой правосторонних окрестностей точки

любую совокупность вида

.
В текущий формулировке

означает, что база
всех правосторонних окрестностей точки

является базой в

, что мне кажется излишним (зачем нам требовать, чтобы

?).
Да, я смотрел 6 издание, стр. 149 -- 150.