稠密

在一個集合 在一個第一可數空間中是稠密的，如果 如果 , 其中 是 的極限點集。例如，有理數在實數中是稠密的。一般來說，子集 of 是稠密的，如果它的集合閉包 。

實數 被稱為 -稠密的 當且僅當, 在 基數- 展開式中 , 每個可能的有限連續數字串都會出現。如果 是 -正規, 那麼 也是 -稠密的。如果, 對於某些 , 是 -稠密的, 那麼 是無理數。最後, 是 -稠密的 當且僅當 序列 是稠密的 (Bailey and Crandall 2001, 2003)。