摘要：空集属于有限集。不含任何元素的集合成为空集。考虑到空集是实数线（或任意拓扑空间）的子集，空集既是开集、又是闭集。空集的边界点集合是空集，是它的...

空集属于有限集。不含任何元素的集合成为空集。考虑到空集是实数线（或任意拓扑空间）的子集，空集既是开集、又是闭集。空集的边界点集合是空集，是它的子集，因此空集是闭集。有限集合是由有限个元素组成的集合。有限集合的元素是可以“编号”的，可以把它的元素编上号码，写成：a1，a2，a3...，an，从1到n的各个自然数全被用过而且不同的元素得到了不同的号码。无限集合是既不是空集，又不与Mn＝｛1，2，…，n｝，n∈N对等的集合。无限的元素不能被“编号”。

有限集合不能与它的任何真子集合或真母集合对等。每一个非空有限集合与自然数串的一个线段而且仅只一个线段对等。有限集合的任一子集合是有限集合，无限集合的任一母集合是无限集合。有限集合A的元素数永远大于它的真子集合B的元素数。全部自然数组成的集合N，以及含有与N对等的子集合的集合，全是无限集合。每一个无限集合必含有一个可排集合。每一个无限集合M必与其某一个真子集合对等。

空集的表示方法

用符号Ø或者{ }表示。

注意：{Ø}是有一个Ø元素的集合，而不是空集。

在LaTeX中空集表示代码 emptyset 。

0是一个数，不是集合。

{0}是一个集合，集合只有0这个元素。

Ø是一个集合，但是不含任何元素。

{Ø}是一个非空集合，集合只有空集这个元素。

空集的性质

对任意集合A，空集是A的子集：∀A：Ø⊆A；

对任意集合A，空集和A的并集为A：∀A：A∪Ø=A；

对任意非空集合A，空集是A的真子集：∀A，若A≠Ø，则Ø真包含于A。

对任意集合A，空集和A的交集为空集：∀A，A∩Ø=Ø；

对任意集合A，空集和A的笛卡尔积为空集：∀A，A×Ø=Ø；

空集的唯一子集是空集本身：∀A，若A⊆Ø⊆A，则A=Ø；∀A，若A=Ø，则A⊆Ø⊆A。

空集的元素个数（即它的势）为零；

特别的，空集是有限的：|Ø|=0；

对于全集，空集的补集为全集：CUØ=U。

集合论中，若两个集合有相同的元素，则它们相等。那么，所有的空集都是相等的，即空集是唯一的。