文章目录
一、 集合论体系
二、 集合表示
三、 数集合
三、 集合关系
1、 包含关系
2、 相等关系
3、 集合间包含关系性质
一、 集合论体系
----
集合论体系 :
朴素集合论 : 包含悖论...----
集合关系 有 包含关系 , 相等关系 , 另外关系的性质有 自反省 , 反对称性性 , 传递性 ;
1、 包含关系
集合的包含关系 :
描述 :
A, B
两个集合 , 如果
B
中的元素..., 4}
,
B = {1, 2, 3}
,
C = {1, 2}
有
C \subseteq B
,
C \subseteq A
,
B \subseteq A
2、 相等关系
集合的相等关系...:
描述 :
A, B
两个集合 , 如果
A
包含
B
, 并且
B
包含
A
, 则称
A
与
B
相等 ;
记作 :
A = B
符号化表示 :
A = B \Leftrightarrow...\forall x ( x \in B \leftrightarrow x \in A )
3、 集合间包含关系性质
集合间包含关系性质 : 下面的
A, B, C
是三个集合 , 以下的命题是真命题