Sigue de lo anterior que el conjunto de las traslaciones determina un grupo de traslaciones denotado por formula_111.