theorem :: TOLER_1:39

for X being set
for T, R being Tolerance of X st ( for x being set st x in X holds
neighbourhood (,) c= neighbourhood (,) ) holds
R c= T