Decimos que "β" es base de la topología T sólo si para todo punto p contenido en un abierto U existe un elemento formula_1 y formula_2 es un abierto en la topología.