Legyen adva egy R gyűrű és annak egy I részhalmaza. Az I részhalmaz akkor és csak akkor magja egy valamilyen R-ből kiinduló gyűrűhomomorfizmusnak, ha ideál R-ben.