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

具体例

=

全ての実数Sに対し、=はx=yならばy=xなので、=は対称律を満たす

反例

\le, \ltなど