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

ՍահմանումԽմբագրել

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