Matemáticamente, un eje de simetría de un conjunto geométrico es siempre una línea de puntos fijos invariante bajo un conjunto de operaciones del grupo de simetría del conjunto.