Abierto

Dado un espacio topológico X, su topología viene dada por una familia de subconjuntos de X llamados abiertos de X. La familia de abiertos debe satisfacer ciertos axiomas (ver: espacio topológico). Una manera de describir la noción de abierto consiste en decir que un conjunto es abierto si y sólo si es entorno de todos sus puntos. Por ejemplo, la topología usual del plano tiene como abiertos básicos a los discos (bolas 2–dimensionales) abiertos, es decir, sin su frontera. Todo abierto del plano será, entonces, unión arbitraria de cierto número (finito o infinito) de discos abiertos.