基于等价关系的商集是集合的一个划分
发布人