このような関数は、例えば以下のようにすれば定義できる:まず、Gを大きさがほぼ等しい3つの集合S_0,S_1,S_2の非交和に分割する.
G