>>37
同値関係の定義を書いてみ