let X be non empty TopSpace; :: thesis: for A being Subset of X holds [#] X is a_neighborhood of A
let A be Subset of X; :: thesis: [#] X is a_neighborhood of A
Int ([#] X) = [#] X by TOPS_1:15;
hence A c= Int ([#] X) ; :: according to CONNSP_2:def 2 :: thesis: verum