[定義 ２： 結合法則]

三角乗法系 (S, △) に対し、J, P, B ∈ (S, △) が
互いに１つの頂点を共有するとき、つまり

　　　x
J =　△　　＞→ t
　　a　　b

　　　a
P =　△　　＞→ l
　　y　　c

　　　b
B =　△　　＞→ r
　　c　　z

となるとき、結合 △(J, P, B) が定義され

　　　　　　　　　　x
　J　　　　　　　　△　　　　　　　　t
　△　→＜　　a　　 b　　＞→　　△
P　　B　　　　△　　△　　　　　　l　　r
　　　　　　　y　　c　　z

とする。