theorem :: TOLER_1:6

for X being set
for T being Tolerance of X holds rng T = X