推移律
transitive relation
集合
$ S
上の
二項関係
$ R
について、任意の
$ s,t,u \in S
に対して
$ sRt
かつ
$ tRu
ならば
$ sRu
が成り立つとき、
$ R
は推移律を満たす
具体例
$ =
$ x=y
かつ
$ y=z
ならば
$ x=z
なので
$ =
は推移律を満たす
$ \lt
$ \le