rmula_16，以及 formula_17 对所有 formula_18。二元组 formula_19 称为 formula_9 作为 NDR-偶的一个表示。
性质.形变收缩是一种特殊的同伦等价。事实上，两个空间是同伦等价的当且仅当他们都是另一个大空间的形变收缩核。任何能形变收缩成一点的拓扑空间称为可缩的，反之亦然。但是存在可缩空间不能强形变收缩成一点。
引用.