तो, यह बाइजेक्शन है, इंक्लुसन प्रिसर्विंग बाइजेक्शन R के आइडियल्स जिनमे I हो से R mod I है।
അതിനാൽ, ഇത് ഒരു ബൈജക്ഷൻ ആണ്, I ഉൾക്കൊള്ളുന്ന R ൻറെ ഐഡിയലുകൾ മുതൽ R മോഡ് I ന്റെ ഐഡിയലുകളിലേക്ക് ഉൾപ്പെടുത്തൽ സംരക്ഷിക്കുന്ന ബൈജക്ഷൻ ഉണ്ട്.