そうなんです
そうなんですけど

x+yをXと定義したことに反する（同値関係が崩れる）
と思うのですが・・・