El espacio subyacente localmente parece un cociente de un espacio euclídeo bajo la acción de un grupo finito de isometrías.