Al par formula_20 se le denomina espacio topológico.