結合法則
括弧をずらしても結果が同じになる性質のこと
定義
任意の集合$ A上で定義された二項演算$ \mu:A\times A\to Aについて、
$ \mu\text{が結合法則を満たす}:\iff\forall x,y,z\in A; \mu(x,\mu(y,z))=\mu(\mu(x,y),z)
中置記法を使うとこう：$ \forall x,y,z\in A; x\mu(y\mu z)=(x\mu y)\mu z
成り立つやつ
普通の足し算掛け算
行列の積で結合法則が成立するという事実は、いくつかの場面で結構効いたりする
成り立たないやつ
References