左ドット、右ドット記法は役に立つかも

強度ペア(τ, τ')があれば、モッジペアリングはこう定義する。

 TA × TB

 ---------τ

 T(TA×B)

 -----------T(τ)

 T(T(A×B))

 -----------μ

 T(A×B)

Bを変数とすると

 TA × T-

 ---------τ

 T(TA×-)

 -----------T(τ)

 T(T(A×-))

 -----------μ

 T(A×-)

ドット記法を使う：

 T- ; (TA)・

 ------------τ

 (TA)・ ; T

 ------------T(τ)

 A・ ; T; T

 ------------μ

 A・ ; T

この例から、次が強度の表現になっていることがわかる。

 (TA)・

 ------------

 A・ ; T