theorem :: TOLER_1:13

for X being set
for T being Tolerance of X st {} is TolClass of T holds
T = {}