ずらす関係、束ねる／ばらす関係

• トレース公理のなかのスライディング＝ループに沿ったスライディング
• ベントに沿ったスライディング＝180度回転＝双対
• クロスに沿ったスライディング＝擦り抜け公式
• ストレートワイヤーに沿ったスライディング＝垂直スライディング＝エレベーター移動

ジャンクションの種類ごとにスライディングがある。

1. ストレートワイヤー＝ストレートジャンクション＝恒等射
2. クロスジャンクション＝対称射
3. ベントジャンクション＝unit, ev

バンドリング公式

1. 並べてまとめる→縦にずらして（ばらして）、繋げる ： テンソル積の交替律＝エレベーター法則
2. まとめて交叉→ばらして、交叉を繋げる ： クロス（対称、ブレイディング）のアンバンドル公式
3. まとめてベント→ ばらして、ベントを繋げる ： ベント（単位、余単位）のアンバンドル公式