Legyen adva egy S gyűrű, és annak egy T részhalmaza. A T részhalmaz akkor és csak akkor képe egy S-be mutató gyűrűhomomorfizmusnak, ha részgyűrű S-ben.
Legyen adva egy S gyűrű, és annak egy T részhalmaza. A T részhalmaz akkor és csak akkor képe egy S-be mutató gyűrűhomomorfizmusnak, ha részgyűrű S-ben.