罗伯逊-西摩定理，也称为图子式定理，是由罗伯逊和西摩提出的 库拉托夫斯基归约定理 的推广，该定理指出有限 图 的集合通过子式可嵌入性是良拟序的，由此得出库拉托夫斯基的“禁用子图”嵌入障碍推广到更高 亏格 曲面。
形式上，对于固定的 整数 
，存在一个有限的图列表 
，其属性是一个 图 
嵌入到 亏格 为 
的曲面上 当且仅当 它不包含列表 
中的任何 图 作为子式。
罗伯逊-西摩定理
另请参阅
禁用子图，库拉托夫斯基归约定理，图子式使用 Wolfram|Alpha 探索
参考文献
Fellows, M. R. "罗伯逊-西摩定理：应用综述。" Comtemp. Math. 89, 1-18, 1987.Roberson, N. 和 Seymour, P. D. "图子式--综述。" 收录于 组合数学调查 (I. Anderson 编辑). 英国剑桥: 剑桥大学出版社, pp. 153-171, 1985.在 Wolfram|Alpha 上被引用
罗伯逊-西摩定理请引用为
Weisstein, Eric W. "罗伯逊-西摩定理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Robertson-SeymourTheorem.html