空集是任何一个集合的子集，是任何一个非空集的真子集。某些指定的对象集在一起就成为一个集合符号，含有有限个元素叫有限集，含有无限个元素叫无限集，空集是不含任何元素的集，记做Φ。

性质

对任意集合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。