(R)={,,,,},所有的放进去
t(R)={,,,,},交换两个元素的有序对都放进去
s(R)={,,,},这个稍麻烦,画关系图,从每一个顶点出发找它经过不超过3步的边所能到达的顶点,有,则有序对放进去