请问集合中的包含于和真包含于的区别?我知道真包含于是b中有至少一个元素不在a中,那包含于符号是怎么 A真包含于B和A包含于B有什么区别
属于,不属于是指元素与集合之间的关系,如a属于A表示a是集合A的元素,不属于则不是。
包含,包含于,真包含于则是集合与集合之间的关系。
例如:A包含B是指B在A里面,即B的元素都是A的元素。而A包含于B是指A在B里面,即A的元素都属于B。
真包含和真包含于的关系和前面的相似。但此时A与B的元素是确定不等的,A真包含B时,A中至少有一个元素不属于B,而A真包含于B时,B中至少有一个元素不属于A。
区别:
A真包含于B,A不可以等于B。
A包含于B,A可以等于B。
比如:
A={1,2},B={1,2},只能说A包含于B,不能说A真包含于B。
A={1,2},B={1,2,3},既可以说A包含于B,也可以说A真包含于B。
包含于包括真包含于的情况,包含于可以是两个相等的集合之间的关系,例如集合A={1,2,3,4},B={1,2,3},C={1,2,3,4},则可以说B真包含于A,A包含于C,或C包含于A。
扩展资料:
真包含于和真子集符号是:⊊(真包含于) ⊋(真包含)
如“S是P而且P是S”(即S与P在外延上为全同关系),可以说S与P和P与S均有包含于关系,但不能说它们有真包含于关系。只有当“凡S是P而且有P不是S”时,S才真包含于P,S与P才有真包含于关系。而S与P有包含于关系则仅要求“凡S是P”、而并不要求“有P不是S”。
设S,T是两个集合,如果S的所有元素都属于T ,即 则称S是T的子集,记为 。显然,对任何集合S ,都有 。
其中,符号 读作包含于,表示该符号左边的集合中的元素全部是该符号右边集合的元素。如果S是T的一个子集,即 ,但在T中存在一个元素x不属于S ,即 ,则称S是T的一个真子集。
对任意集合 A,空集是 A 的子集:∀A:Ø ⊆ A;
对任意集合 A,空集和 A 的并集为 A:∀A:A ∪ Ø = A;
对任意非空集合 A,空集是 A的真子集:∀A,,,若A≠Ø,则Ø 真包含于 A。
对任意集合 A,空集和 A 的交集为空集:∀A,A ∩ Ø = Ø;
对任意集合 A,空集和 A 的笛卡尔积为空集:∀A,A × Ø = Ø;
空集的唯一子集是空集本身:∀A,若 A ⊆ Ø ⊆ A,则 A= Ø;∀A,若A= Ø,则A ⊆ Ø ⊆ A。
空集的元素个数(即它的势)为零;
特别的,空集是有限的:| Ø | = 0;
对于全集,空集的补集为全集:CUØ=U。
A ⊆ B
可以通俗的理解为它们相等
如果集合A是集合B的子集,并且集合B中至少有一个元素不属于A,那么集合A叫做集合B的真子集
对于集合A与B,∀x∈A有x∈B,则A⊆B。 可知任一集合A是自身的子集,空集是任一集合的子集。
简单来说,子集可以包括自己,真子集不能包括自己。子集比真子集范围大,子集里可以有全集本身,真子集里没有,还有,要注意非空真子集与真子集的区别,前者不包括空集,后者可以有。
举例说明,比如全集I为{1,2,3},
它的子集为{1}、{2}、{3}、{1,2}、{1,3}、{2,3}、{1,2,3}、再加个空集;
而真子集为{1}、{2}、{3}、{1,2}、{1,3}、{2,3}、再加个空集,不包括全集I本身。
非空真子集为{1}、{2}、{3}、{1,2}、{1,3}、{2,3},不包括I及空集。
设全集I的个数为n,它的子集个数为2的n次方,真子集的个数为2的n次方-1,非空真子集的个数为2的n次方-2。
就好比“≥”和“>”的区别