En el plano euclídeo una figura tiene a una recta "r" como eje de simetría plano o especular si la figura formula_1 es invariante por la aplicación: