关于拓扑空间点集的聚点

定义,设A是拓扑空间X的任一子集,点x∈X称为A的一个聚点(?)x的每个邻域含A的异于x的点,即VU∈N(x),U∩(A～{X})≠φ集A的一切聚点组成的集记为d(A),称为A的导集.众所周知。