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