まとめはこっち前置き半群の前にマグマ(Magma)をやっておくのを忘れていました。 代数的構造まず、代数的構造というのは集合と演算の組です。 例としては【整数と整数上の加法の組】などです。 参考： http://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9…