反交換法則
S {\displaystyle S} を加法群、“*” を S {\displaystyle S} 上の二項演算とする。任意の s 1 , s 2 ∈ S {\displaystyle s_{1},s_{2}\in S} に対して、 s 1 ∗ s 2 = − s 2 ∗ s 1 {\displaystyle s_{1}*s_{2}=-s_{2}*s_{1}} となるとき、“*” は反交換律である。