X"的拓扑由一个度量给定时，在"X"中"A"的闭包formula_1是"A"与"A"中元素的所有数列极限（它的"极限点"）的集合的并集，那么当"A"在"X"中是稠密的。注意formula_4。如果formula_5是一个完备度量空间"X"中稠密开集上的序列，则formula_6在"X"上依然稠密。这个事实与贝尔纲定理中的一个形式等价。