Definition:Epimorphism (Abstract Algebra)

An epimorphism is a homomorphism which is a surjection.