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