In
mathematics, an
invariant is a property, held by a class of mathematical objects, which remains unchanged when
transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually indicated by the context in which the term is used. For example, the area of a triangle is an invariant with respect to
isometries of the Euclidean plane. The phrases "invariant under" and "invariant to" a transformation are both used. More generally, an invariant with respect to an
equivalence relation is a property that is constant on each equivalence class.