for R being Relation holds R,R are_isomorphic