同位素

从一个流形 嵌入到 的同伦，使得在每一时刻，它都是一个嵌入。同位素的概念是范畴独立的，因此存在拓扑同位素、分段线性同位素、光滑同位素（等等）的概念。当没有明确提及时，“同位素”通常意味着“光滑同位素”。