theorem Th20: :: EQREL_1:20

for X being set
for R being Tolerance of X
for x being object st x in X holds
x in Class (R,x)