En
mathématiques, et plus précisément en
théorie des graphes, le
théorème de Robertson–Seymour affirme qu'un certain classement partiel entre
graphes non orientés possède des propriétés remarquables (c'est un
bel ordre). Ce théorème a pour conséquence qu'il devient possible de caractériser de nombreuses familles de graphes par une liste finie de graphes qu’elles ne contiennent pas. Le théorème de Robertson–Seymour généralise ainsi le théorème de Kuratowski, qui caractérise les
graphes planaires comme ceux ne contenant pas deux graphes particuliers.