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