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