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