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 )