Toda inclusión del tipo C → C induce una inclusión entre los proyectivos correspondientes CP → CP.