PółgrupaGrupoid (czyli zbiór z określonym na nim działaniem dwuargumentowym) którego działanie jest łączne, czyli:

Szczególnymi przypadkami półgrup są monoid i grupa.

PrzykładyEdytuj

 

Przypadki szczególneEdytuj

  • półgrupa, w której działanie   jest przemienne, to półgrupa przemienna (zwana niekiedy też abelową),
  • półgrupa, w której istnieje element neutralny, to monoid,
  • półgrupa, w której istnieje element neutralny i element odwrotny do każdego elementu, to grupa.