theorem :: DICKSON:13

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