for X being set
for T being Tolerance of X holds {} is TolSet of T