Խմբոիդ

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

Սահմանում

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

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