Monomorphism
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from X to Y is often denoted with the notation {\displaystyle X\hookrightarrow Y}.
In the more general setting of category theory,... Wikipedia