Trivialmente, el módulo cero {0} es inyectivo.