Como la inclusión "i" es, como "f", sobreyectiva, se vuelve biyectiva (una inclusión es por definición inyectiva) y podemos prescindir de ella en la descomposición: