theorem Th12: :: TOLER_1:12

for X being set
for T being Tolerance of X holds {} is TolSet of T