El espacio topológico en el que toda sucesión de Cauchy tiene límite.