Definition Let be a topological basis and be a subspace. A continuous map is a retract if the restriction to is the identity map. Written other ways, or of finally As projections Note that for a retract then This is because . Therefore, retractions are like the topological versions of projection mappings. Resoureces @hatcher2002 - Chapter 0