Term that refers to a property or a set that is preserved under the effect of a relation.
A set E is generally invariant by a relation ℜ if ℜ(E) = E.
- In a reflection, the line of reflection is an invariant line (fixed line) for this transformation.
- In a rotation, the centre of rotation is an invariant point (fixed point) for this transformation.
- A circle is generally invariant by a point symmetry in which the centre of symmetry is the centre of the circle.
- The parallelism of lines in a plane is preserved by a translation in the plane.