theorem Th40: :: WELLORD1:40

for R, S being Relation st R,S are_isomorphic holds
S,R are_isomorphic