:: deftheorem defines Nbhd URYSOHN1:def 6 :
for T being non empty TopSpace
for x being Point of T
for b₃ being Element of bool the carrier of T holds
( b₃ is Nbhd of x,T iff ex A being Subset of T st
( A is open & x in A & A c= b₃ ) );