で、下記 https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 (抜粋) 同値類 集合 S の上に同値関係 〜 が定義されているときには、ある S の元 a に対して a に同値である元を全て集めた集合を考えることができる。 この S の部分集合を a を代表元（だいひょうげん、英: representative）とする同値類（どうちるい、英: equivalence class）と呼び・・ 1 つの同値類は、それに含まれている元のうちどれをとっても、それを代表元とする同値類はもとと同じ集合になる（代表元の取替えによって不変である）
商集合 集合S の同値関係〜に関する同値類全体のなす集合を、S を同値関係〜で割った集合、あるいは S の 〜 による商集合（しょうしゅうごう、英: quotient set）と呼び、 S/〜 := {[x] ｜ x ∈ S} と表す。集合 S の元にそれが属する同値類を対応させることで、商集合への全射 π： S → S/〜; x → [x] が自然に与えられる。これを同値関係 〜 に付随する標準射影あるいは自然な射影、自然な全射などと呼ぶ。 （引用おわり）
