Conditions 1, 2, and 3 say that ~ is an equivalence relation.
条件 1, 2, 3 は ~ が同値関係であると言っている。