A subspace of is called a retract of if there is a continuous map (called a retraction) such that for all and all ,
1. , and
2. .
Equivalently, a subspace of is called a retract of if there is a continuous map (called a retraction) such that for all ,