theorem :: TOLER_1:22

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