Խմբոիդ

Աբստրակտ հանրահաշվում խմբակերպը կամ խմբոիդը (մագմա) հանրահաշվական կառուցվածքների հենքային տեսակն է։

Սահմանում

$M$ բազմությունը կոչվում է խմբակերպ ( մագմա ), եթե նրա վրա սահմանված է "$\cdot$" բինար հարաբերությունն այնպես, որ $\forall$ $a,b \in M$ - ին համապատասխանում է մեկ այլ $a \cdot b$ տարր, որը նույնպես $M$ - ից է։

  $\forall a,b \in M$  $a \cdot b \in M$