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