pùsgrupė, netuščioji aibė G, kurioje bet kuriems dviem jos elementams x ir y yra apibrėžtas kitas G elementas x · y taip, kad lygybė (x · y) · z = x · (y · z) galioja visiems G elementams x, y ir z. Toks G elemento x · y priskyrimas vadinamas asociatyviąja operacija. Pvz., natūraliųjų skaičių aibė su natūraliųjų skaičių sandaugos operacija yra pusgrupė.
1751