7.设 times R 为二维平面直角坐标系中点的集合,T为横坐标与纵坐-|||-标乘积相等的点所构成的二元关系。请给出关系T的形式化定-|||-义,并证明T为 times R 上的等价关系。