>>783
可換じゃなくて、a * b = b * a
結合則が成立するかどうかな。(a * b) * c = a * (b * c)