2色の色付き集合

ネタ
  • colored set は色の集合への関数を持つ集合
  • two-colored set は二元集合への関数を持つ集合
  • その射は、色を保存する関数