Definition:Quotient Ring Epimorphism