[[சார்பு]] '''<math>f</math>''' ன் சார்பகத்தில்[[ஆட்களம் (domainகணிதம்)|ஆட்களத்தில்]] '''<math>g \circ f</math>''' என்பது முற்றொருமை உறுப்பாக இருந்தால்,இருந்தால் மட்டுமே (if and only if) சார்பு '''<math>g</math>''' ஆனது சார்புகளின் சேர்வைச் செயலைப் பொறுத்து '''<math>f</math>''' ன் [[நேர்மாறுச் சார்பு#இடது மற்றும் வலது நேர்மாறுச் சார்புகள்|இடது நேர்மாறுச் சார்பாகும்]].
அதேபோல் '''<math>g</math>'''ன் சார்பகத்தில்ஆட்களத்தில் (அ-து) '''<math>f</math>''' ன் துணைச்இணையாட்களம்) சார்பகத்தில்'''<math>f \circ g</math>''' என்பது முற்றொருமை உறுப்பாக இருந்தால், இருந்தால் மட்டுமே சார்பு '''<math>f</math>''' ஆனது சார்புகளின் சேர்வைச் செயலைப் பொறுத்து '''<math>g</math>''' ன் வலது நேர்மாறுச் சார்பாகும்.
'''<math>f</math>''' ன் நேர்மாறு பெரும்பாலும் '''<math>f^{-1}</math>''' எனக் குறிக்கப்படுகிறது.
[[இருவழிக்கோப்பு|இருவழிச் சார்புகளுக்கு]] (bijections) மட்டும்தான் இருபக்க நேர்மாறு உண்டு என்றாலும் எந்தவொரு சார்புக்கும் பகுதி நேர்மாறு உண்டு.