:: deftheorem Def5 defines Neighborhood UNIFORM2:def 14 :
for USS being non empty axiom_U1 UniformSpaceStr
for b₂ being Function of the carrier of USS,(bool (bool the carrier of USS)) holds
( b₂ = Neighborhood USS iff for x being Element of USS holds b₂ . x = Neighborhood x );