空集是集合也是有限集。
空集说这个集合里什么都没有，它不包含任何元素。
但是我们定义为“空集”可以算是一个元素，也可以算是一个集合，空集是所有集合的真子集，也是所有集合的子集。
子集是这个集合里所有元素组成的各种组合，包括它这个集合本身，而真子集就是不包括自身这个集合的所有子集都称为真子集， 一个集合的真子集一定是它的子集，而一个集合的子集不一定是它的真子集，因为这个子集有可能是它本身这个集合。
根据特殊的规定，空集是任何集合的子集，空集是任何非空集合的真子集。
但空集不是空集的子集，因为任何两个相等的集合只能是对方的子集，而非真子集。
对于两个非空的集合，可以通过其内的元素从属来判断子集与真子集，但是空集没有元素，所以空集不是空集的真子集。
集合是数学中一个基本概念，它是集合论的研究对象，集合论的基本理论直到19世纪才被创立。
最简单的说法，即是在最原始的集合论，朴素集合论中的定义，集合就是“确定的一堆东西”。
集合里的“东西”，叫作元素。
空集是指不含任何元素的集合。
空集是任何集合的子集，是任何非空集合的真子集。
空集不是无；它是内部没有元素的集合。