推移律

• 二項関係 $R$ に対して、${\forall }_x{\forall }_y{\forall }_z(xRy\wedge yRz)\to xRz$ を満たすとき、推移律 を満たすという