集合S上の二項関係Rについて、任意のs,t,u \in Sに対してsRtかつtRuならばsRuが成り立つとき、Rは推移律を満たす

具体例

=

x=yかつy=zならばx=zなので=は推移律を満たす

\lt

\le