>>896
そうだね
商集合の定義には直接関係ない