対称律
$ aRb \implies bRa
#二項関係の性質