# Invariant

## Invariant

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.

### Examples

Invariant set:

Invariant property:

• The parallelism of lines in a plane is preserved by a translation in the plane.