证明：《1》自反性 ：<,>∈R, 当且仅当 xy=yx 《2》对称性 ：若<,>∈R, 当且仅当 xv=yu，那么<,>∈R, 也成立，因为 uy=vx 《3》传递性：<,>∈R, 当且仅当 xv=yu，（x/y=u/v）：<,>∈R, 当且仅当 ut=sv (u/v=s/t) 则<,>∈R, 当且仅当 xt=ys (x/y=s/t)
