收缩。投影 formula_7 分裂（通过 formula_29），形变收缩（取时间参数为 "s"）由下式给出：（这里所有 "Y" 中的点不动，从而是一个形变收缩。）
应用.映射柱将关于子空间或空间包含的定理运用到到不必是单射的一般映射。因此，那些与空间、所涉及映射的同伦类无关的定理或方法（比如同调、上同调或同伦理论本身）可能可适用到 formula_31，这里假设 formula_32 以及 formula_3 事实上是子空间的包含。另外，这个构造更本质的吸引之处是它与