稠密集合

数学の位相空間論周辺分野において、位相空間 X の部分集合 A が X において稠密（ちゅうみつ、英: dense）であるとは、X の各点 x が、A の元であるか、さもなくば A の集積点であるときにいう。イメージで言えば、X の各点が A の中か、さもなくば A の元の「どれほどでも近く」にあるということを表している。例えば、有理数は実数の稠密集合である。なぜなら任意の実数は、有理数であるか、さもなくばどれほどでも近い有理数をとることができるからである（ディオファントス近似も参照）。