Graphoid

Graphoid 由一個集合 的元素以及兩個集合 和 的非空子集組成，分別稱為迴路和餘迴路，使得

1. 對於任何 和 ，

2. 沒有迴路真包含另一個迴路，也沒有餘迴路真包含另一個餘迴路，

3. 對於 M 的任何著色，使用顏色 恰好一個 元素為綠色，其餘元素為紅色或藍色，存在以下兩種情況之一：(a) 一個迴路 包含綠色元素且不包含紅色元素，或 (b) 一個餘迴路 包含綠色元素且不包含藍色元素。