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. La rama de las matemáticas que estudia los espacios topológicos se llama topología. Las variedades, al igual que los espacios métricos son especializaciones de espacios topológicos con restricciones y estructuras propias.