稠密性是实数作为度量空间/拓扑空间的基本结构性质，与完备性并列，都属于"实数系长什么样"的描述。完备性回答"有没有洞"，稠密性回答"点分布得多密"——两者互补，共同刻画实数集

什么是一个稠密区间