x" ，将 "x" 与 "f"("x") 等化。用数学符号表示为：有时黏着空间也写成 formula_2。在直觉上，我们认为 "Y" 通过映射 "f" 黏合到 "X"。作为一个集合，"X" ∪ "Y" 由 "X" 与 ("Y" − "A") 的不交并组成；但其拓扑由商构造确定。当 "A" 是 "Y" 的一个闭子集时，可以证明映射 "X" → "X" ∪ "Y" 时一个闭嵌入且 ("Y" − "A") → "X" ∪ "Y" 是一个开嵌入。
范畴描述.黏着构造是拓扑空间范畴