La noción de isometría apareció en la sección 4.2.2, donde se probó que las isometrías determinan un grupo de transformaciones, al que llamaremos el grupo euclídeo de E---que sea un grupo implica que la composición de dos isometrías y la inversa de una isometría son isometrías.