theorem :: TOLER_1:33

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