Invariant
Se dit d'une propriété ou d'un ensemble qui est conservé sous l'effet d'une relation.
Un ensemble E est globalement invariant par une relation ℜ si ℜ(E) = E.
Exemples
Ensemble invariant :- Dans une réflexion, l'axe de la réflexion est une droite invariante (droite fixe) pour cette transformation.
- Dans une rotation, le centre de rotation est un point invariant (point fixe) pour cette transformation.
- Un cercle est globalement invariant par une symétrie centrale dont le centre de symétrie est le centre du cercle.
- Le parallélisme des droites du plan est conservé par une translation du plan.