把不含任何元素的集合叫做空集，记为$\varnothing$，
并规定：
空集是任何集合的子集，即$\varnothing \subseteq A$；
空集是任何非空集合的真子集，即$\varnothing\subsetneqq A (A \neq \varnothing)$。