theorem Th27: :: TOLER_1:27

for X being set
for T being Tolerance of X
for x, y being object holds
( y in neighbourhood (,) iff [x,y] in T )