，如果对于"X"中任一点"x"，"x"的任一邻域同"A"的交集不为空，则"A"称为在"X"中稠密。直观上，如果"X"中的任一点"x"可以被"A"中的点很好的逼近，则称"A"在"X"中稠密。等价地说，"A"在"X"中稠密当且仅当"X"中唯一包含"A"的闭集是"X"自己。或者说，"A"的闭包是"X"，又或者"A"的补集的内部是空集。
度量空间中的稠密集.在度量空间("E","d")中，也可以如下定义稠密集。当"X"的拓扑由一个度量给定时，在"X"中"A"的闭包formula_1是"