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