theorem Th18: :: TOLER_1:18

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