多ソートのストリング図の定式化に極性〈in-out〉と色〈型 | ソート | 対象〉が付いた集合が必要になる。
色が {a, b, c} なら (-a, -a, -b, +b, +a) とかが色付き極性付き集合の表記になる。極性は二値なら何でもいいから左右でもよい。(→a, →a, →b, ←b, ←a) とか。あるいは上下 (↓a, ↓a, ↓b, ↑b, ↑a) 。色が数値なら、(→5, →5, →0, ←0, ←5) とか。
色は何でもいいが、極性も何でもいいのだろうか？ 例えば三値とか。
