そもそも同値関係が定義されてないから>>1が合ってるかどうかも分からないんだよな