反射律

• 二項関係 $R$ に対して、${\forall }_{x}xRx$ を満たすとき、反射律 を満たすという