更多操作
第49行: | 第49行: | ||
== 子集 == | == 子集 == | ||
'''如果集合 A 的每一个元素都是集合 B 的元素,就称 A 是 B 的一个子集''' | '''如果集合 A 的每一个元素都是集合 B 的元素,就称 A 是 B 的一个子集'''. | ||
记作 A⊆B(读作:A 包含于 B)或 B⊇A(B 包含 | 记作 A⊆B(读作:A 包含于 B)或 B⊇A(B 包含 A). | ||
如果 A⊆B 并且 B⊆A,就说这两个集合'''相等''',记作:A=B. | 如果 A⊆B 并且 B⊆A,就说这两个集合'''相等''',记作:A=B. | ||
如果 A⊆B 但是 B≠A,就说 A 是 B 的'''真子集''',记作:A⫋B,读作:'''A 真包含于 B'''. 例如,(1, 6)⫋[1, 6]. | 如果 A⊆B 但是 B≠A,就说 A 是 B 的'''真子集''',记作:A⫋B,读作:'''A 真包含于 B'''. 例如,(1, 6)⫋[1, 6]. | ||
包含关系还有传递性:若 A⊆B,B⊆C,则 A⊆C;若 A⫋B,B⊆C,则 A⫋C;等等. | |||
== 补集 == | |||
[[category:数学]] | [[category:数学]] |