Por lo tanto, el grupo de simetrías rotacionales de un espacio euclideo de dimensión "m", es en particular un subconjunto de "E"("m"), el conjunto de las transformaciones isométricas del espacio euclideo que conservan la orientación (véase grupo euclídeo).