稠密集

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