Na teoria dos grafos, o teorema de Robertson–Seymour (também chamado teorema menor dos grafos) estabelece que os grafos não direcionados, parcialmente ordenados pelo relacionamento do grafo menor, formam um quase-bem-ordenado.

Categoria:Teoria dos grafos