Se dice que formula_8 es un monomorfismo si es una aplicación inyectiva, es decir, formula_36 implica que formula_37, cualesquiera que sean formula_5.