Avec les invariants, les mathématiciens établissent des parentés entre des objets a priori distincts. Leur ubiquité en fait l'un des plus puissants outils mathématiques de classement.