ula_1的导集（导出集合）是formula_1的所有极限点的集合。它通常记为 formula_3。 这个概念是格奥尔格·康托尔在1872年引入的，他开发集合论很大程度上就是为了研究在实直线上的导出集合。
导集公理.导集是拓扑学的基础概念之一，可以用来定义拓扑空间。给定集合formula_4，考虑一个定义在formula_4的幂集formula_6上的运算formula_7，若formula_8满足以下导集公理，则称formula_8为导集运算：formula_14称为fo