离散数学中集合的覆盖中的元素可否有空集