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