一些可区分的互不相同的东西构成的整体称为集合
N={1,2,3}
A={x|x≥20}
定义1设A、B为集合,如果A中的每个元素都属于B,则称A是B的子集记作A⊆B
A,B A⊆B,(B⊇A) x∈A,x∈B
A⊂B ⇔ A⊆B,∃x,x∈B,使x∉A
A⊄B ⇔ ∃x∈A,x∉B
主条目:康托悖论
M:所有集合的集合
2M⊆M |2M|≤|M|,|M|<|2M|