设x为内积空间，m是x的稠密子集，则吗

A,B是X的隔离子集 ==> A闭包 交 B为空集。 A包含于 A∪B ==》 A闭包 包含于 (A∪B)闭包=A∪B 结合上两点， A闭包 包含于 A， 即A是闭集.