Definition: Epimorphism
A homomorphism $f:G\to H$ between the algebraic structures $(G,\ast)$ and $(H,\cdot)$ is called a monomorphism, if $f$ is surjective.
Thank you to the contributors under CC BY-SA 4.0! 
- Github:
-
References
Bibliography
- Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001
