=== Base pa una topoloxía Una base B pa un espaciu topolóxicu (X,τ) ye una coleición de conxuntos abiertos en τ tal que cada conxuntu abiertu en τ puede ser escritu como unión d'elementos de B. Dicimos que la base xenera la topoloxía τ. Les bases son útiles porque munches propiedaes d'una topoloxía pueden escrites namái en términu d'una base que xenera tal topoloxía, y porque en munchos casos ser más senciellu definir una topoloxía en términos d'una base que la xenera.