图G中虚线边，再去掉孤立的顶点，最后对灰色边进行边收缩即得到图H。
主要结论和猜想.可以很直接地验证，在同构意义上，图子式关系是一个偏序关系：它满足自反性（自己是自己的子式）、反对称性（图"G"和"H"互为子式仅当它们同构）、传递性（图"G"的子式的子式也是图"G"的子式）。和提出了一个更深刻的结论：图子式关系实际上是一种关系：给定一串无穷的图序列"G", "G"...总是存在"i" < "j"，使得 "G"是"G"的子式。一个等价的表述是，任意的一簇图的集合必然只有有限个子式意义