theorem :: DICKSON:12

for R being Relation holds
( R = R \~ iff R is asymmetric )