G"的子式的子式也是图"G"的子式）。和提出了一个更深刻的结论：图子式关系实际上是一种关系：给定一串无穷的图序列"G", "G"...总是存在"i" < "j"，使得 "G"是"G"的子式。一个等价的表述是，任意的一簇图的集合必然只有有限个子式意义下的极小元。这个结论验证了先前的一个猜想：瓦格纳猜想。它很早就被提出，直至1970年才发表。在他们证明的过程中，西摩和罗伯逊也同时证明了。对于一个给定的图"H"，这个定理刻画了不包含"H"-子式的图的结构。这个定理的严格表述又长又复杂，但是简而言之，它证明了这