¿Qué entenderemos por conjunto abierto? Aquí está el quid de la cuestión: una colección formula_13 de subconjuntos de formula_1 se dirá que es una topología sobre formula_1 si formula_1 es uno de los elementos de esa colección, si formula_17 es un elemento de la colección, si la unión de elementos de la colección da como resultado un elemento de la colección y si la intersección finita de elementos de la colección también es un elemento de la colección.