Definition:Module Monomorphism