நேர்மாறுச் சார்பு: திருத்தங்களுக்கு இடையிலான வேறுபாடு

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

 

ƒ ஒரு நேர்மாற்றத்தக்க சார்பு மற்றும் அதன் ஆட்களம் ''X'', வீச்சு ''Y'' எனில்:

 

 

:<math> f^{-1} \circ f = \mathrm{id}_X\text{,} </math>