for R being Relation st R is transitive holds
R \~ is transitive