定義
(C, □, α) を擬半群圏（>>430）とする。
X_1、．．．、X_n を C の対象とする。
n ≧ 3 のとき X_1□．．．□X_n を帰納的に
X_1□．．．□X_n = X_1□(X_2□．．．□X_n)
と定義する。