theorem Th19: :: TOLER_1:19

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