Si una figura geométrica es finita, es decir, forma un conjunto acotado del espacio euclídeo, entonces el grupo de isometría no incluye ninguna traslación y por tanto su grupo de isometría es un subgrupo del espacio formula_5.