点集拓扑:设β是拓扑空间X的基,D包含于X,且对任意的B属于β都有B交D不等于空集，证:D是X的稠

{a}是a的一个邻域，但{a}∩(A-{a})=Φ,故a不属于d(A), {b,c}是b的一个邻域，但{b,c}∩(A-{b})=Φ,故b不属于d(A), c的邻域有{b,c},X,且{b,c}∩(A-{c})={b},X∩(A-{c})=A,故c∈d(A) 因此d(A)={c}