定义4 设 E ⊂ R n , E \subset \mathbf { R } ^ { n } , E⊂Rn, 如果 E ⊂ E ′ , E \subset E ^ { \prime } , E⊂E′, 就称 E E E是自密集. 换句话说,当集合中每点都是这个集的聚点时,这个集是自密集. 另一个说法是没有孤立点的集就是自密集 例如 空集是自密集, R \mathbf { R } R 中有理数全体所组成的集是自密集.