如果集合 A 的所有元素同时都是集合 B 的元素,则 A 称作是 B 的子集,写作 A ⊆ B.若 A 是 B 的子集,且 A 不等于 B,则 A 称作是 B 的真子集,写作 A ⊂ B.
1 空集是所有集合的子集
2 所有集合都是其本身的子集
3 空集是所有非空集合的真子集
举例
所有男人的集合是所有人的集合的真子集.
所有自然数的集合是所有整数的集合的真子集.
{1,3} ⊂ {1,2,3,4}
{1,2,3,4} ⊆ {1,2,3,4}