まとめはこっち前回のおさらい半群とは以下の条件を満たす集合Sと演算*の組のこと。 条件1. 集合Sが演算*に対して閉じている すなわち、S上の任意の元a, b に対して、演算結果 a * b は再び S に属する。 条件2. 集合S上の演算*は結合法則を満たす。 すなわ…