Un espacio topológico es una estructura matemática que permite la definición formal de conceptos como convergencia, conectividad, continuidad, vecindad, usando subconjuntos de un conjunto dado.