対称律
集合
$ S
上の
二項関係
$ R
について、任意の
$ s,t \in S
に対して
$ sRt
ならば
$ tRs
であるとき、
$ R
は反射律を満たす
具体例
$ =
全ての実数
$ S
に対し、
$ =
は
$ x=y
ならば
$ y=x
なので、
$ =
は対称律を満たす
反例
$ \le
,
$ \lt
など