Definition

Let be a space and .
A retraction from to is a map st