Yarımqrup

Əgər G çoxluğunda onun ixtiyari iki a və b elementinə qarshi həmin çoxluğun hər hansi c elementini qarshi qoyan əməl movcuddursa və bu əmələ nəzərən assosiativlik odənərsə onda G coxlugu yarımqrup adlanır.

Əgər yarımqrup özünde vahid element saxlayarsa belə yarımqrup monoid adlanır.