Monomorphism


In the context of abstract algebra or universal algebra, a monomorphism is simply an injective homomorphism.