若ab属于R平方,则存在c,使得ac,cb都属于R。由传递性,ab也属于R。所以R平方是R的子集。另外,若ab属于R,那么根据自反性,得到bb属于R,所以ab属于R平方。所以R是R平方的子集。综上,R和R平方相等。