semigroup
半群 - Wikipedia
semigroup in nLab
SSSを臺集合として、組(S,+:S×S→S)(S,+_{:S\times S\to S})(S,+:S×S→S)は以下を滿たすなら半群である
結合律(x+y)+z=x+(y+z)(x+y)+z=x+(y+z)(x+y)+z=x+(y+z)