En matemáticas, una base "β" de un espacio topológico "X" con topología "T", es una colección de abiertos de "T" que verifica que todo abierto de la topología "T" puede expresarse como unión de los elementos de "β".