一个圆圈上画个斜线是空集的符号Ø。
空集是任何集合的子集,是任何非空集合的真子集。空集不是无,它是内部没有元素的集合。
可以将集合想象成一个装有元素的袋子,而空集的袋子是空的,但袋子本身确实是存在的。
性质:
对任意集合 A,空集是 A 的子集:∀A:Ø ⊆ A。
对任意集合 A,空集和 A 的并集为 A:∀A:A ∪ Ø = A。
对任意非空集合 A,空集是 A的真子集:∀A,若A≠Ø,则Ø 真包含于 A。
对任意集合 A,空集和 A 的交集为空集:∀A,A ∩ Ø = Ø。
对任意集合 A,空集和 A 的笛卡尔积为空集:∀A,A × Ø = Ø。