(数学)同値関係、商集合

数学で重要なカテゴリの一つである同値関係と商集合についてです。