间，以下述方式函子地构造一广群formula_99：设formula_12为拓扑空间，令formula_99的对象为formula_12的点，从点formula_103至formula_104的态射是从formula_103到formula_104的道路的同伦类。同伦等价关系相容于道路的头尾相接，故定义了一个广群formula_99，称为formula_12的基本广群。Van Kampen定理在广群的框架下有简练的表述。设formula_56为广群，而formula_103为其对象（也称作for