theorem :: TOLER_1:16

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