Dado un subconjunto del espacio euclídeo de dimensión "n", su grupo de isometría formula_10 es un subgrupo del grupo producto formado a partir del grupo ortogonal y el grupo de traslaciones: