Definition:Quotient Group Epimorphism