In der Mathematik versteht man unter einer Invariante eine mit 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.