ある集合に同値関係を定めるというのは「その集合の、どの要素とどの要素を同一視するか」を定めること。集合を同値関係で割るというのは、いま同一視した要素をひとまとめに扱うこと。そのひとまとめが同値類。同値類すべてを集めた集合が商集合。商集合の要素はもとの集合を同値関係で割った同値類。 ポケモン全体の集合に、属性によって同値関係を入れることができるか。 いかなる集合にも自明な同値関係を入れることができそう。全要素を同一視する同値関係と、要素が等しいという同値関係と。 集合を同値関係で割って同値類を作る説明の文章を最初に学んだとき、世の中にこんなに難しいことはあるのかと思いました。何を言っているのか、何を考えればいいのか、さっぱり、まったくわかりませんでしたね。 (*'-'*) .。oO(当時は『数学ガール』もなかったしな… いまにして思えば、書かれている言葉をちゃんと読んでなかったんだろうなあ。