Abbildungsring zu Menge/Kontravarianz/Aufgabe

Es sei ein Ring und seien und zwei Mengen mit den in Aufgabe konstruierten Ringen und . Zeige, dass eine Abbildung einen Ringhomomorphismus

induziert.