theorem :: TOLER_1:23

for X being set
for T being Tolerance of X holds id X c= T