在线子集计算器
如果集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集，记为A⊆B或 B⊇A，读作“集合A包含于集合B”或集合B包含集合A”。 即：∀a∈A有a∈B，则A⊆B。 真子集 如果集合A是B的子集，且A≠B，即B中至少有一个元素不属于A，那么A就是B的真子集，可记作：A⊊B。 符号语言：若∀a∈A，均有a∈B，且x∈B使x∉A，则A⊊B。 集合A就是集合B的真子集。
| 集合A(真子集) | = |
| 集合B | = |
| 集合B是 | = 集合A 的 |
子集定义：一般地，对于两个集合A,B,如果集合A中任意一个元素都是集合B中的元素,我们就说这两
个集合有包含关系，称集合A为集合B的子集（subset）。
记作： A⊆B（或B⊇A）
读作：“A包含于B”（“B包含A”）
A ∪ B = B ∪ A.
A ∪ (B ∪ C) = (A ∪ B) ∪ C.
A ⊆ (A ∪ B).
A ∪ A = A.
A ∪ ∅ = A.
A ⊆ B if and only if A ∪ B = B.