対称律

• 二項関係 $R$ に対して、${\forall }_x{\forall }_{y}xRy\to yRx$ を満たすとき、対称律 を満たすという