>>683
ご指摘ありがとうございます。
スレ主です
書き方が雑だった

（訂正）
R　⊃　R/Q
　 ↓
R　＝　∪R/Q(商集合の和集合)

余談ですが、無限集合を扱うと、ヒルベルトの無限ホテルのパラドックス類似は、頻出する
（デデキント無限：同じ濃度の真部分集合を含む みたいな）
但し、Division Paradox ｜R｜<｜R/Q｜は、初見でした

（参考）
https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E
同値類
記法と定義
元 a の同値類は [a] と書き，a と 〜 によって関係づけられる元全体の集合
[a]={x∈ X ｜ a 〜 x}}
として定義される．同値関係 R を明示して [a]R とも書かれる．これは a の R-同値類といわれる．
同値関係 R に関する X のすべての同値類からなる集合を X/R と書き，X の R による商集合と呼ぶ

https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ヒルベルトの無限ホテルのパラドックス

パラドックスの内容
無限個の客室があり、「満室」である仮想的なホテルを考える。客室数が有限の場合、「満室であること」と「新たに来た客を泊められないこと」は同値だが（鳩の巣原理）、無限ホテルではそうはならない。

それぞれ無限人の客を乗せた無限台のバス
詳細は「対関数」を参照
いくつかの方法で、それぞれ無限人の乗客を乗せた無限台のバスの団体客を泊めることが可能である。ほとんどの方法はバスの座席が番号付けされていること（可算選択公理）を仮定する。一般にこの問題を解くには任意の対関数が使える。それぞれの方法で、乗客の座席番号をn、乗っているバスの号車番号をcとすると、nとcが対関数の2つの引数になる。

https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90
集合A がデデキント無限、またはデデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。つまり、A とA の真部分集合B の間に全単射が存在するということである