=の定義次第で、1=2かそうでないかも決まる。
商集合や同値関係、反射対称推移など