空集没有任何元素，所以空集是任何非空集合的真子集。通常首先空集是任何一个集合的子集。其次，所谓非空集合，可以理解为该集合里面至少有一个元素。
集合是指具有某种特定性质的具体的或抽象的对象汇总而成的集体。其中，构成集合的这些对象则称为该集合的元素。空集性质：
对任意集合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。
