首页 > 等价关系
等价关系是集合上的一种特殊的二元关系,它同时具有自反性、对称性和传递性。常用等价关系来划分集合,选取每类的代表元素来降低问题的复杂度,如软件测试时,可利用等价类来选择测试用例。 定义 设 R 是集合 A 上的一个二元关系,若R满足: 自反性:∀ a ∈A, => (a, a) ∈ R 对称性:(a, b) ∈R∧ a ≠ b => (b, a)∈R 传递性:(a, b)∈R,(b,...