theorem :: TOLER_1:38

for X being set
for T being Tolerance of X holds TolClasses T c= TolSets T