点。一条连续道路是一个连续映射formula_14，而一个以formula_1为基点的环路是一条满足formula_16的连续道路。以下若不另外说明，则环路皆以formula_1为基点。对两条环路formula_18，如果存在一个连续函数（保持基点的同伦）formula_19使得则称两者同伦等价。不难验证此关系确为等价关系。因此我们可考虑环路对此关系的等价类，以formula_23表一环路formula_24隶属的等价类，亦称同伦类。现在定两条环路formula_25的衔接为：formula