设A={1,2,3},R={<1,2>,<2,3>,<1,3>}是A上的传递关系(实际上是普通的小于关系).s(R)={<1,2>,<2,3>,<1,3>,<2,1>,<3,2>,<3,1>},s(R)不传递,如<1,2>,<2,1>在s(R)中,但<1,1>,<2,2>不在s(R)中,由定义s(R)不传递.