Se puede entonces definir la clausura inyectiva de un módulo (esencialmente el módulo inyectivo más pequeño que contiene al dado).