＜同値類補足説明＞
（>>205より）
https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E
同値類
(抜粋)
例
・X がすべての車の集合であり，〜 が「同じ色である」という同値関係のとき，ある1つの同値類はすべての緑色の車からなる．X/〜 はすべての車の色の集合と自然に同一視できる．
(引用終り)

＜補足＞
ここで、車が、可算無限個あるとする。
同値類として緑色の車を考える

任意の有限ｎ台を取り出せば、すべて緑色の車だ
が、同値類全体を考えると、共通の特徴が消えて空φになる？？ いやいや、共通の特徴は”緑色”じゃないのか？

どうやったら、そんな奇妙な考えが浮かぶんだ？（＾＾
同値類が理解できていないとしか、思えん！！（＾＾