集合的定义：

集合（aggregate）是由一个或多个确定的元素所构成的整体。

子集：subset

对于两个集合A与B，如果集合A中任意一个元素都是集合B的元素，那么集合A叫做集合B的子集，记作：\({A}\subseteq{B}\) 或 \({B}\supseteq{A}\)，读作：“A含于B” 或 “B包含A”。

也就是说，A是B的子集，即：\({A}\subseteq{B}\) \(\Leftrightarrow\) 任取 \({x}\in{A}\)，总有 \({x}\in{B}\)。

当A不是B的子集时，记作 \({A}\not\subseteq{B}\) 或 \({B}\not\supseteq{A}\)。

说明：
1. \(\subseteq\) 可以换用 \(\subset\)
2. \(\supseteq\) 可以换用 \(\supset\)
3. \(\not\subseteq\) 可以换用 \(\not\subset\)
4. \(\not\supseteq\) 可以换用 \(\not\supset\)

参考：https://baike.baidu.com/item/%E9%9B%86%E5%90%88/2908117
参考：https://zhuanlan.zhihu.com/p/39797834