数学– category –

空でない集合AとA上の二項演算が群であるとき、以下を満たす。 結合法則が成立する...