Por definición, "E" es un espacio métrico, y es por tanto también un espacio topológico; es el ejemplo prototípico de una "n"-variedad, y es de hecho una "n"-variedad diferenciable.