计算机 判断题 较难

等价关系与划分 — 计算机判断题

离散数学(大学通用) 关系 AI 三重审校通过

题目
判断:设 R 是集合 S 上的等价关系,若将 R 的所有等价类构成集族 C,则 C 是 S 的一个划分;反之,若 C 是 S 的任一划分,则由 C 定义的二元关系 R:xRy 当且仅当 x 与 y 属于 C 中同一元素,必是 S 上的等价关系,且其等价类恰为 C 中各元素。因此“S 上的等价关系”与“S 的划分”之间存在一一对应。