for X, Y being set
for T being Tolerance of X st Y is TolSet of T holds
Y c= X