反対称的
$ aRb,bRa \implies a =b
#二項関係の性質