集合是数学中一个基本概念，它是集合论的研究对象，集合论的基本理论直到19世纪才被创立。最简单的说法，即是在最原始的集合论，朴素集合论中的定义，集合就是“确定的一堆东西”。集合里的“东西”，叫作元素。

空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。