formula_1 எனும் ஈருறுப்புச் செயலியைக் கொண்ட கணம் formula_2 என்க. (அ-து) formula_2 ஒரு மேக்மா.

formula_4 ன் முற்றொருமை உறுப்பு formula_5 என்க. (S ஒரு யூனிட்டல் மேக்மா (unital magma))

formula_6 எனில்

formula_7 ஆனது formula_8 இடது நேர்மாறு என்றும் 
formula_8 ஆனது formula_7 ன் வலது நேர்மாறு என்றும் அழைக்கப்படும்.

formula_11 , formula_12க்கு இடது மற்றும் வலது நேர்மாறு இரண்டுமாக இருந்தால் அது formula_12 ன் இருபக்க நேர்மாறு அல்லது சுருக்கமாக நேர்மாறு எனப்படும்.

கணம் formula_2 ல் இருபக்க நேர்மாறுடைய ஒவ்வொரு உறுப்பும் formula_2 ல் நேர்மாற்றக்கூடியது (invertible) எனப்படும்.

இடது நேர்மாறு மட்டும் கொண்ட உறுப்பு இடது நேர்மாற்றக்கூடியது எனவும் வலது நேர்மாறு மட்டும் கொண்ட உறுப்பு வலது நேர்மாற்றக்கூடியது எனவும் அழைக்கப்படும்.

S லுள்ள அனைத்து உறுப்புகளும் நேர்மாற்றக்கூடியதெனில் S ஒரு கண்ணி (loop) எனப்படும்.

யூனிட்டல் மேக்மா, formula_4 க்குப் பல இடது மற்றும் வலது நேர்மாறு உள்ளது போல எந்தவொரு உறுப்புக்கும் பல இடது மற்றும் வலது நேர்மாறு உறுப்புகள் இருக்கும். இந்த இடது மற்றும் வலது நேர்மாறுகளின் வரையறைகளில் பயன்படுத்தப்படும் முற்றொருமை உறுப்பு இருபக்க நேர்மாறு கொண்டதாகும்.

formula_1, ஒரு சேர்ப்பு ஈருறுப்புச் செயலியாக இருக்கும்போது ஒரு உறுப்பின் இடது மற்றும் வலது நேர்மாறுகள் சமமாக இருக்கும். எனவே ஒற்றைக்குலத்தின் அனைத்து உறுப்புகளுக்கும் அதிகபட்சமாக ஒரு நேர்மாறு உறுப்பு இருக்கும். ஒற்றைக்குலத்தில் உள்ள இருபக்க நேர்மாற்றக் கூடிய உறுப்புகளின் கணம் ஒரு குலமாகும். இக்குலம், formula_2 ன் அலகுகளின் குலம் (group of units) எனப்படும். இக்குலத்தின் குறியீடு, formula_19 அல்லது "H" ஆகும்.

இடது நேர்மாற்றக்கூடிய உறுப்பு இடது நீக்கலுக்கும் வலது நேர்மாற்றக்கூடிய உறுப்பு வலது நீக்கலுக்கும் இருபக்க நேர்மாற்றக்கூடிய உறுப்பு இருபக்க நீக்கலுக்கும் உட்பட்டும்.

முறையான வரையறைகள்
யூனிட்டல் மேக்மாவில்
மெய்யெண்கள்
நேர்மாறு அணிகளின் எடுத்துக்காட்டுகள்