组合对偶图

令 为图 的圈秩， 为 余圈 秩，且 子图 在 中的相对补图 定义为通过删除 的边得到的子图。那么，图 是图 的组合对偶图，当且仅当它们的边集之间存在一一对应，使得对于任意选择的对应边子集 和 ,

其中 是图 的以 为边集的子图。

惠特尼 (Whitney, 1932) 证明了对于平面图，几何对偶图 和组合对偶图是等价的 (Fleischner 1973; Harary 1994, p. 115)，因此可以简单地称为“对偶图”。此外，一个图是平面图 当且仅当 它有一个组合对偶图 (Harary 1994, p. 115)。