Espacio topológico

Un espacio topológico es un par $(X,\tau )$ donde $X$ es un conjunto y $\tau$ es una colección de subconjuntos de $X$, denominados conjuntos abiertos, que satisface las siguientes propiedades:

1. El conjunto vacío $\varnothing$ y el conjunto completo $X$ son elementos de $\tau$.
2. La unión de cualquier colección de conjuntos abiertos en $\tau$ también pertenece a $\tau$.
3. La intersección de cualquier colección finita de conjuntos abiertos en $\tau$ también pertenece a $\tau$.

topologia