: "Z" → "Y" 。"f" 与 "g" 的推出是 "X" 与 "Y" 的并集附加从"X" 和 "Y"的包含态射。2.黏着空间的构造是拓扑空间范畴中的推出。更准确地说，如果 "Z" 是 "Y" 的子空间且 "g" : "Z" → "Y" 是包含映射，我们可以将 "Y" 利用“黏贴映射” "f" : "Z" →"X" 沿着 "Z" “黏贴”到另一个空间 "X"。黏贴空间 formula_1 恰好是 "f" 与 "g" 的推出。更一般地，所有黏着空间都可以这样视为推出。3. 上面的一个特例是楔和