topología que una base de topología (como en espacios métricos).