Retraction (source code)

= Retraction
{wiki}

A retraction of a <topological space> $X$ onto a subspace $A$ is a continuous map $r:X\to A$ whose restriction to $A$ is the identity.