theorem :: TOLER_1:32

for X being set
for T being Tolerance of X holds union (TolClasses T) = X