Euclid的関係
$ \forall x,y,z. (xRy \land xRz \to yRz)
#二項関係の性質