该集族中的元素是等价类集合 ;
商集参考 : 【集合论】等价类 ( 等价类概念 | 等价类示例 | 等价类性质 | 商集 | 商集示例 ) 四、商集
二、划分示例
----
全集是
E
,
取
E
的
n
个 非平凡...的 真子集 , 非平凡的含义是既不是空集 , 也不是它自己 ;
\varnothing \not= A_1 , A_2, \cdots, A_n \subset E
1....A_j , \sim A_i \cap \sim A_j\} - \{ \varnothing \}
,
i,j = 1, 2, \cdots , n \land i \not= j
根据如下文氏图进行理解...A/R
是
A
的划分 ;
R 是 A 上等价关系 \Rightarrow A/R 是 A 的划分
集族
\mathscr{A}
是
A
集合上的划分 , 定义一个 二元关系 是 同块关系...R_{\mathscr{A}}
,
该 同块关系 是
A
集合上的 等价关系 ,
该 同块关系 是 由划分
\mathscr{A}
定义的关系 ;
xR_{\mathscr{A}}y