:: deftheorem Def2 defines a_neighborhood CONNSP_2:def 2 :
for X being TopSpace
for A, b₃ being Subset of X holds
( b₃ is a_neighborhood of A iff A c= Int b₃ );