Espacio Topológico

Un espacio topológico es un conjunto X junto con una colección τ de subconjuntos de X (los abiertos) tal que ∅ y X pertenecen a τ, τ es cerrada bajo uniones arbitrarias y intersecciones finitas; τ se llama topología y (X, τ) es un espacio topológico.

Un conjunto provisto de una topología: una colección especificada de subconjuntos abiertos que contiene el conjunto vacío y el conjunto total, y que está cerrada bajo uniones arbitrarias e intersecciones finitas.

Un conjunto X provisto de una colección τ de subconjuntos llamados abiertos tal que el conjunto vacío y X pertenecen a τ, uniones arbitrarias de elementos de τ pertenecen a τ y intersecciones finitas de elementos de τ pertenecen a τ.