tarrinbiubiubiu
等价类分法是将测试空间划分成若干个子集，并且满足每个子集中的任一数据对揭露程序中的缺陷都是等价的，这些子集就叫做等价类或者叫等价子集。比如一个程序的输入数据满足0
吃货终结者0416
等价关系定义: 集合X上的二元关系R称为等价关系, 如果R同时具有一下三个性质:
等价类定义: 设 为 上的一个等价关系, , 的子集 称为 关于R的等价类,或记为 的等价类 x的等价类常记为 , 即
等价类的性质 设 是非空集合 上的等价关系, 则
集合的划分 设 为非空集合, 的若干个子集形成的集族π称为 的一个划分, 如果π具有性质: (1). (2). , 若 , 则 (3).
称 中的元素为 的划分 如果 是 的一个划分, 则当 时, 被称为 的一个 -划分
等价关系与集合的划分
由定理1, 2可得: 上的等价关系与 的划分是一一对应的, 并且互相确定
商集 等价关系 确定的划分是R的所有等价类之集 设 是 上的等价关系, 由 所确定的 的划分也就是 的所有等价类之集称为 对 的商集, 并记为 . 即:
