或一点并；这里取 "X" 与 "Y" 为带基点的空间而 "Z" 为 1 点空间。那么将 "X" 与 "Y" 的基点黏合起来得到的空间，便是推出 formula_2。4 在阿贝尔群范畴中，推出可以想象为“黏合直和”，以这种方式我们将黏着空间视为“黏合不交并”。零群是任何群的子群，所以任何阿贝尔群 "A" 与 "B"，我们有同态以及这两个映射的推出是 "A" 与 "B" 的直和。把这种情形推广为 "f" 与 "g" 是任何有公共定义域的同态，我们得到直和的一个商群，即模去由 ("f(z)",-"g(