theorem Th19: :: EQREL_1:19

for X being set
for x, y being object
for R being symmetric total Relation of X holds
( y in Class (R,x) iff [y,x] in R )