Pro ekvivalenci na množině A je invariant funkcí , která je konstantní na třídách této ekvivalence, tedy není závislá na výběru prvku ze třídy.[zdroj?]
Příklady
Vzdálenost mezi dvěma čísly na číselné ose, je invariantní vůči přičtení stejné hodnoty k oběma číslům. Násobení tuto vlastnost nemá.