Definición, condiciones de equivalencia y ejemplos de módulos inyectivos