之同伦等价（或称具相同伦型），当且仅当存在两个连续映射formula_51与formula_52，使得：同胚蕴含同伦，反之则不然，详见以下例子："例三"：同伦等价是个拓扑空间之间的等价关系。许多代数拓扑学里的性质均在同伦等价下不变，包括有：单连通、同调群及上同调群等等。
同痕.同痕（Isotopy）是同伦的加细版；我们进一步要求所论的函数formula_61 和 formula_62 是嵌入，并要求两者间可用一族嵌入映射相连。定义如此：formula_18 与 fo