Let be a topological space and a subspace of . If there exists a continuous map such that for all , then we say is a retract of and is a retraction.