在数学集合中，空集（null set）也叫作 empty set，是不包含任何东西的集合。它的符号是{ }。只有一个空集，这是 因为从逻辑上，只有一种方式能够不包括任何东西。空集使得可以对某个集合上进行操作所得的结果进行精确的描述，而用其他的方法则无法精确的定义。两个不重叠的集合（两个集合没有相同的元素）的交集就是空集。例如：{1, 3, 5, 7, 9, ...} {2, 4, 6, 8, 10, ...} = 　　空集提供了一个构建数字的正式理论的基础。在公理数学中，零的定义是空集的势。从这个出发点来说，数学家可以构建自然数的集合，根据那个，构建整数的集合和有理数的集合。