En particular, el conjunto formula_27 puede ser un espacio euclídeo.