集合论、拓扑学基本概念

设A是拓扑空间(X,τ)的子集。A的所有聚点的集合称为A的导集，记为A'。用数学语言表达就是：A'={x∈X|对任何开邻域U(x)∈τ，一定存在y≠x，使得y∈U(x)∩A}。