for X being non empty set
for R being Relation of X holds R /\ ((R ~) `) is asymmetric