离散数学

一、集合论

 

 

例子：http://www.gzu521.com/campus/article/servant/200806/170564.htm

二、等价关系

定义1 设R为非空集合A上的二元关系。如果R是自反的、对称的和可传递的,则称R为A上的等价关系。
　　定义2 设R为非空集合A上的等价关系, x∈A,令 [ x ]R={ y | y ∈A ∧ xRy },
　　则称 [ x ]R 为x关于R的等价类,简记为[ x ]。
　　定义3 设R为非空集合A上的等价关系,以R的所有等价类作元素的集合称为A关于R的商集,记为A/R,即A/R={ [ x ]R| x∈A }。