section_heading: Definicija
paragraph_text: Polugrupa je uređeni par <math>(S,\cdot_S)</math> skupa S i binarne operacije <math>\cdot_S: S \times S \rightarrow S</math> koja svakom paru elemenata iz S pridružuje element iz S. Djelovanje funkcije <math>\cdot_S</math> na par <math>(x,y)</math> najčešće označavamo kao <math>x\cdot_S y</math>  ili  <math>x\cdot y</math>.