Y" 是集合。如果我们记它们的交为 "Z"，则由包含给出态射 "f" : "Z" → "X" 与 "g" : "Z" → "Y" 。"f" 与 "g" 的推出是 "X" 与 "Y" 的并集附加从"X" 和 "Y"的包含态射。2.黏着空间的构造是拓扑空间范畴中的推出。更准确地说，如果 "Z" 是 "Y" 的子空间且 "g" : "Z" → "Y" 是包含映射，我们可以将 "Y" 利用“黏贴映射” "f" : "Z" →"X" 沿着 "Z" “黏贴”到另一个空间 "X"。黏贴空间 formula_1 恰好