Definition: Monomorphism
A homomorphism $f:G\to H$ between the algebraic structures $(G,\ast)$ and $(H,\cdot)$ is called a monomorphism, if $f$ is injective.
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Knauer Ulrich: "Diskrete Strukturen  kurz gefasst", Spektrum Akademischer Verlag, 2001