மேலும் இங்கே நமக்கு φ இன் சர்ஜெக்டிவி தேவைப்படுகிறது, ஏனென்றால் r' , R' ல் உள்ளது, அங்கே இது ஏதோவொன்றின் பிம்பம். ஏனெனில் r' φஇல் இருப்பதால் r, R இல்உள்ளது
. మరియు ఇక్కడ మనకు యొక్క సర్జెక్టివిటీ అవసరం, ఎందుకంటే r లో ఉంటే, , అక్కడ ఇది ఏదో యొక్క ఇమేజ్ అని భావించడం సబబు కాదు, కానీ అంటే, ఉంది కాబట్టి R లో r ఉంది అంటే = .