[公理 １： 頂点を保存する縮約]

任意の x, y, z, a, b, c ∈ S に対して

　　x
　　△　　　　　　　　　x
　a　　 b　　＞→　　△
　△　　△　　　　　y　　z
y　　c　　z

とし、頂点を保存する縮約 (T1) と呼ぶ。

上記 >>58 >>59 の定義と公理 T1 をもって
三角乗法系のとりあえずの定義とする。