for X being non empty set
for R being total reflexive Relation of X holds
( (R `) /\ ((R ~) `) is irreflexive & (R `) /\ ((R ~) `) is symmetric )