Axiom talk:Semigroup Axioms

Is that $e_S$ supposed to be there in $\left({S, \circ, e_S}\right)$? And if so why? --Ybab321 (talk) 11:34, 3 October 2013 (UTC)


 * Good catch. I suspect it to be a remnant from when this wasn't split from Monoid yet, or otherwise to be a copy-paste error. In any case, it's fixed now. &mdash; Lord_Farin (talk) 12:53, 3 October 2013 (UTC)


 * Yeah my fault, I'm careless and slapdash. --prime mover (talk) 20:23, 3 October 2013 (UTC)