令 為圖
的圈秩,
為 餘圈 秩,且 子圖
在
中的相對補圖
定義為透過刪除
的邊得到的子圖。那麼,圖
是圖
的組合對偶圖,當且僅當它們的邊集之間存在一一對應,使得對於任意選擇的對應邊子集
和
,
其中 是圖
的以
為邊集的子圖。
惠特尼 (Whitney, 1932) 證明了對於平面圖,幾何對偶圖 和組合對偶圖是等價的 (Fleischner 1973; Harary 1994, p. 115),因此可以簡單地稱為“對偶圖”。此外,一個圖是平面圖 當且僅當 它有一個組合對偶圖 (Harary 1994, p. 115)。