Eの点列(x_n)が収束するならその極限xはEの閉包に属するから⇒は明らか
逆を言うにはEの閉包の任意の点xに対しx_n→xとなるE内の点列を構成すればよいが、
距離空間においては(1/n)-近傍ちゅうのがあるから容易だわな