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

Սահմանում 
 բազմությունը կոչվում է խմբակերպ ( մագմա ), եթե նրա վրա սահմանված է "" բինար հարաբերությունն այնպես, 
որ   - ին համապատասխանում է մեկ այլ  տարր, որը նույնպես  - ից է։

 

Հանրահաշիվ