スパイダーの分類

構造：

1. 順序（あまり使わない）
2. 二部
3. InOut
4. 二部順序
5. InOut順序（装飾済み）

図

• 実線矢 ならば（構造忘却）
• 点線矢 細工している（埋め込み写像）
• 点線まる あまり使わない

• https://bit.ly/3e8A2oh spider-decoration.svg

digraph{
 順序[style=dotted]
 二部
 InOut
 二部順序[label="二部順序\n (無向fat)"]
 順序∧二部[style=dotted]
 InOut順序[label="InOut順序\n (有向fat)"]
 順序∧二部 -> 順序
 順序∧二部 -> 二部
 順序∧二部 -> 二部順序[style=dashed,label="renum"]
 InOut -> 二部
 二部順序 -> 二部
 InOut順序 -> InOut
 InOut順序 -> 順序[style=dashed,label="renum"]
 InOut順序 -> 二部順序
 二部 -> プレーン
 順序 -> プレーン
}