拓扑学基本概念

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