:: deftheorem Def1 defines a_neighborhood CONNSP_2:def 1 :
for X being non empty TopSpace
for x being Point of X
for b₃ being Subset of X holds
( b₃ is a_neighborhood of x iff x in Int b₃ );