In der
Mathematik versteht man unter einer
Invariante eine zu einem Objekt assoziierte Größe, die sich bei einer jeweils passenden Klasse von Modifikationen des Objektes nicht ändert. Invarianten sind ein wichtiges Hilfsmittel bei
Klassifikationsproblemen: Objekte mit unterschiedlichen Invarianten sind wesentlich verschieden; gilt auch die Umkehrung, d. h. sind Objekte mit gleichen Invarianten im Wesentlichen identisch, so spricht man von einem
vollständigen Satz von Invarianten oder von
trennenden Invarianten.