Definición formal: Dos subconjuntos A y B de un espacio euclídeo formula_1 son llamados congruentes si existe una isometría formula_2 con formula_3.