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