En la terminología de grupos, las reflexiones generan al grupo de las congruencias.