确定义为圆在三维欧几里得空间R的嵌入。若一个纽结能由另一个纽结通过对R"'变形而得到（亦称环境同痕），我们就将其视为同一个纽结。这样的对环境的变换相当于对一个线圈进行连续操作，但避免剪开线圈或使线圈穿过自身。
复形.单纯复形是拓扑空间的一类，由点、线段、三角形等单纯形“粘合”而成。单纯复形不应当与范畴同伦论中的单纯集合混淆。单纯形在组合学中对应于抽象单纯形。CW复形是一种拓扑空间，由J.H.C.怀特海德为迎合同伦论的需要而引入。这类空间比单纯形有更良好的范畴学性质，且仍旧保留其