結合法則
$ (a * b) * c = a * (b * c)
演算が閉じていて結合法則を満たす→
半群
associative law
結合律
結合則