为什么要有空集，空集有什么用
空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。
可以将集合想象成一个装有元素的袋子，而空集的袋子是空的，但袋子本身确实是存在的。
用符号Ø或者{ }表示。
注意：{Ø}是有一个Ø元素的集合，而不是空集。
在LaTeX中空集表示代码 \emptyset 。
0是一个数，不是集合。
{0}是一个集合，集合只有0这个元素。
Ø是一个集合，但是不含任何元素。
{Ø}是一个非空集合，集合只有空集这个元素。
在诸如策梅罗-弗兰克尔集合论的公理集合论中，空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。
使用分离公理，任何陈述集合存在性的公理将隐含空集公理。例如：若 A 是集合，则分离公理允许构造集合，它就可以被定义为空集。
若A为集合，则恰好存在从{ }到A的函数f，即空函数。结果，空集是集合和函数的范畴的唯一初始对象。
空集只能通过一种方式转变为拓扑空间，即通过定义空集为开集；这个空拓扑空间是有连续映射的拓扑空间的范畴的唯一初始对象。
空集是任何非空集合的真子集。Ø只有一个子集，没有真子集。{Ø}有两个子集，一个是Ø一个是它本身。
定义：不含任何元素的集合称为空集。
空集是任何集合的子集，但把空集说成是任何集合的真子集就不确切。
关于补集，补集的概念是相对而言的，集合A在不同的全集中的补集是不同的，所以在描述补集概念时，一定要注明。集合A中子集B的补集或余集记为CAB ，简单的说集合A的补集是没有意义的。
属于符号“∈ ”、不属于符号“∉”，它们只能用在元素与集合符号之间；包含于（被包含）符号“⊆ ”、包含符号“⊇”，它们只能用在两个集合符号之间。
如，{0}是含有一个元素的集合，Ø是不含任何元素的集合，因此，有Ø⊆{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。
它们与别的自然数和集比有相对的意义 而它们是集和自然数的最小量 是一个开始
在计数方面 比如两个相同的集合 它们相减=什么呢 必定是一个集合 而这集合里面的数就是空的 此时空集的存在就意义了
