База топологии - совокупность E открытых подмножеств пространства M, такая что всякое открытое множество пространства в M может быть представлениа как сумма некоторого конечного или бесконечного числа множеств из E.
Таким образом, база топологии - это необходимый набор открытых множеств, из которого можно всю эту топологию "достроить" (отсюда и название "база")
