Definition

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