theorem :: WELLORD1:38

for R being Relation holds R,R are_isomorphic