for X being non empty set
for R being total reflexive Relation of X holds
( Aux R is irreflexive & Aux R is symmetric )