反交換法則

反交換法則（はんこうかんほうそく、または反交換律（はんこうかんりつ）は、加法群上の二項演算の一種。二つの変数の位置を交換すると、交換前と相反する結果となる。
例えば、減法において、一般にformula_1 である（例: formula_2）。
定義.
formula_3 を加法群、“*” を formula_3 上の二項演算とする。任意の formula_5 に対して、 formula_6 となるとき、“*” は反交換律である。