Definición, existencia y construcción de la descomposición inyectiva