Półgrupa: Różnice pomiędzy wersjami

'''Półgrupa''' – [[Grupoid]] (czyli zbiór z określonym na nim działaniem dwuargumentowym) <math>\langle A, \odot \rangle</math>, którego działanie <math>\odot</math> jest [[Łączność (matematyka)|łączne]], czyli:

* <math>\forall a,b,c\in A:\;(a \odot b) \odot c=a\odot (b \odot c)</math>,.

* półgrupa, w której działanie <math>\odot</math> jest dodatkowo [[przemienność|przemienne]], to półgrupa przemienna (abelowa);

* półgrupa, w której dodatkowo istnieje [[element neutralny]], to [[monoid]];

* półgrupa, w której dodatkowo istnieje element neutralny i [[element odwrotny]] do każdego elementu, to [[grupa]].