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

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