同値関係と商集合 前回、集合 a 上の関係と、特に重要な関係として同値関係を定義しました。今、a 上の同値関係 r が与えられたとき、 に対して と定義すると、 です。そして が成り立ちます。そこで の部分集合である のことを a の(同値関係 r による)商集…