Monomorphism

A Morphism $f: Y\to X$ in a Category is a monomorphism if, for any two Morphisms $u,v:Z\to Y$, $fu = fv$ implies that $u = v$.

See also Category, Morphism