稠密

在一个集合 在一个第一可数空间中是稠密的，如果 如果 , 其中 是 的极限点集。例如，有理数在实数中是稠密的。一般来说，子集 of 是稠密的，如果它的集合闭包 。

实数 被称为 -稠密的 当且仅当, 在 基数- 展开式中 , 每个可能的有限连续数字串都会出现。如果 是 -正规, 那么 也是 -稠密的。如果, 对于某些 , 是 -稠密的, 那么 是无理数。最后, 是 -稠密的 当且仅当 序列 是稠密的 (Bailey and Crandall 2001, 2003)。