U matematici, polugrupa je algebarska struktura koja se sastoji od skupa S, koji je zatvoren obzirom na neku asocijativnu binarnu operaciju.

Definicija

uredi

Polugrupa je uređeni par   skupa S i binarne operacije   koja svakom paru elemenata iz S pridružuje element iz S. Djelovanje funkcije   na par   najčešće označavamo kao   ili  .

Operacija   mora biti asocijativna, to jest mora vrijediti   za svaki  .

Nedovršeni članak Polugrupa koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.