Definición (Topología): Una topología τ en un conjunto es una colección de subconjuntos de τ que cumple las siguientes propiedades: ∅, X ∈ τ. La unión de elementos de cualquier subcolección de τ está en τ. La intersección de elementos de cualquier subcolección finita de τ está en τ. A un conjunto X para el cual se ha especificado una topología τ se