Կիսախումբ

Կիսախումբը հանրահաշվական կառուցվածք է՝ բաղկացած բազմությունից, որի վրա սահմանված է ասոցիատիվ բինար գործողություն։ Կիսախմբից սերում է մոնոիդը, որում առկա է նաև միավոր տարրը։ Նրանից սերում է նաև խումբը, որում ցանկացած տարր հակադարձելի է։

Սահմանում

$S$ բազմությունը կոչվում է կիսախումբ, եթե

1. $\forall a,b\in M$ $a\cdot b\in M$ ( փակ է "$\cdot$" գործողության նկատմամբ)
2. $(a\cdot b)\cdot c=a\cdot (b\cdot c)\,\forall a,b,c\in S$ ( ասոցիատիվ է )