theorem :: TOLER_1:8

for X being set
for T being Tolerance of X holds T is_reflexive_in X