General Topology/Homotopy
This means that is a "continuous transformation" of into or vice versa.
Note that the first argument is denoted in the lower index, so that instead of we write .
That is, a deformation retraction is a homotopy between the identity and a retract onto .