>>204 つづき

(参考1)
https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E
同値類
(抜粋)

・X がすべての車の集合であり,? が「同じ色である」という同値関係のとき,ある1つの同値類はすべての緑色の車からなる.X/? はすべての車の色の集合と自然に同一視できる.
(引用終り)

つづく