for X being set
for T being Tolerance of X
for Y being TolSet of T ex Z being TolClass of T st Y c= Z