等价:设R为集合A上的一个等价关系, 若(a,b)∈R,则称a与b关于R等价 等价类 对于va∈A记[al={b∈A且(a,b)∈R} 称为a关于R的等价类, 它是由所有与等价的元素组成 商集:A的关于R的所有等价类组成一个集合 记为A/R即A/R={[a]ka∈A 称集合A/R为A关于R的商集 exampe.Z=(modn=[OlI].,,In-1 是整数集关于模n的商集.010 ( , ) , . , 若 则称 与 关于 等价 设 为集合 上的一个等价关系 a b R a b R R A  它是由所有与 等价的元素组成。 称为 关于 的等价类， 对于 记 且 a a R  a  A, [a]R ={b b  A (a,b) R} / . / / {[ ] } 称集合 为 关于 的商集 记为 即 的关于 的所有等价类组成一个集合 A R A R A R A R a a A A R = R  商集 : 等价类 : 等价 : / (mod ) {[0],[1], ,[ 1]} . n n n   = − 是整数集关于模 的商集 exampe1: