Retraction

Set

$X,S$
$S\subseteq X$
$ \{\rho\} $
$ \rho:X\to S $
$ \rho_{|S}=\text{id}_S $

Ramifications

Reference

Wikipedia: Deformation retract

Parents

Identity relation