A deep result by Neil Robertson and Paul Seymour states that this partial order is actually a well-quasi-ordering: if an infinite list G1, G2,... of finite graphs is given, then there always exist two indices i < j such that Gi is a minor of Gj.
Neil Robertson és Paul Seymour mély eredménye szerint ez a részbenrendezés valójában egy jó előrendezés: ha tekintjük a véges gráfok G1, G2... végtelen listáját, mindig létezik két olyan i < j index, melyre Gi a Gj minora.