1 準備

\(\mathbb{W}\)(ss,p) … \(=\)
\(\mathbb{W}\)(ss,s) … \(+\)

2 定理

+結合則 … \(x + ( y + z ) = ( x + y ) + z\)
\(x + ( y + ( z + w ) ) = ( ( x + y ) + z ) + w\) \(\blacktriangleleft\) +結合則