空集的存在在集合论里面是一个公理：存在一个集合,它不含任何元素.有了空集之后可以更方便的进行集合的运算,如交运算和运算,不会使得集合之间的运算算出来的不是集合.