在数学特别是点集拓扑学中，拓扑空间的子集 S 的导集(导出集合)是 S 的所有极限点的集合。它通常指示为 S′。这个概念是格奥尔格·康托尔在1872年介入的，他开发集合论很大程度上就是为了研究在实直线上的导出集合。

性质拓扑空间的子集 S 是闭合的，正好就在 的时候。两个子集 S 和 T 是分离的，正好就在它们是不相交的并且每个都与另一个的导集不相交的时候(但导集不需要相互不相交)。

注意事项

集合 S 被定义为完美的，如果 S = S′。等价的说，完美集合是没有孤点的闭集。两个拓扑空间是同胚的，当且仅当有从一个到另一个的双射使得任何子集的像的导集是这个子集的导集的像。

Cantor-Bendixson定理声称任何波兰空间都可以写为可数集合和完美集合的的并集。因为任何波兰空间的 Gδ 子集都再次是波兰空间，这个定理还证明了任何波兰空间的 Gδ 子集都是可数集合和完美集合的并集。