>>684 再訂性
まだ雑だった

R　＝　∪R/Q(商集合の和集合)
　　↓
R　＝　∪ [a] (＝R/Q 商集合(同値類[a]の和集合) 記号[a]は、>>684による））

要するに、Rを同値類に分類して、∪ [a]とできるけど、
商集合X/Rもまた[a]を集めた集合だが、[a]を分離する仕切りがあるので
簡単な例で、X/R＝{[a]1,[a]2,・・[a]n・・}みたいな
Division Paradox ｜R｜<｜R/Q｜か・・