集合S上の二項関係Rについて、任意のs \in Sに対して s R sであるとき、Rは反射律を満たす

具体例

=

全ての実数Sに対し、=はx=xなので、=は反射律を満たす

\le

反例

\lt