"X" → "X" ∪ "Y" 时一个闭嵌入且 ("Y" − "A") → "X" ∪ "Y" 是一个开嵌入。
范畴描述.黏着构造是拓扑空间范畴中推出的例子。这就是说，黏着空间是关于如下交换图表的泛对象：这里 "i" 是包含映射而 φ, φ 是分别商映射与到"X" 和 "Y" 不交并的典范单射的复合。可以将 "i" 换成任意一个连续映射 "g" 构造一个一般的推出——过程是类似的。反之，如果 "f" 也是一个包含黏着构造不过是将 "X" 与 "Y" 沿着它们的公共子空间简单的