Coleção de conjuntos abertos que é suficiente para definir uma topologia.