反射律
$ aRa
#二項関係の性質