rmula_6的推出，其中formula_7是单点空间。
性质.塞弗特－范坎彭定理指，当两个拓扑空间"X"和"Y"适合某些条件（良态空间通常都能适合，例如CW复形），那么"X"和"Y"的楔和的基本群，是"X"和"Y"的基本群的自由积，即是formula_8。