Conditions 1, 2, and 3 say that ~ is an equivalence relation.
条件1, 2和3声称~是等价关系。