Graphoid

Graphoid 由一个集合 的元素以及两个集合 和 的非空子集组成，分别称为回路和余回路，使得

1. 对于任何 和 ，

2. 没有回路真包含另一个回路，也没有余回路真包含另一个余回路，

3. 对于 M 的任何着色，使用颜色 恰好一个 元素为绿色，其余元素为红色或蓝色，存在以下两种情况之一：(a) 一个回路 包含绿色元素且不包含红色元素，或 (b) 一个余回路 包含绿色元素且不包含蓝色元素。