您的位置首页生活百科

空集为什么是任何集合的子集?

空集为什么是任何集合的子集?

的有关信息介绍如下:

空集为什么是任何集合的子集?

因为有下面的定理,即

∅⊆A

式中A为任意集合,上式表征空集是一切集合的平凡子集(trivial sub set).

证明(反证法):假定∅⊆A不成立,则由子集定义和|∅|=0,有

∃x(x∈∅∧x∉A)

|∅|≥1

|∅|≠0

∅⊆A

Q.E.D.