S={{1,2},{3},{4,5}}是集合A={1,2,3,4,5}上的一个划分。 (1)写出由S导出的A上的等价关系 的有序对集合; (2)写出的关系矩阵。
(1)(2)
任给 A 的一个划分π, 如下定义 A 上的关系 R:则 R 为 A上的等价关系, 且该等价关系确定的商集就是π。