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:
bookofproofs


References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001