人民邮电出版社：高等学校21世纪教材《离散数学》电子教案（PPT课件）第三章 集合

定义31.4没有任何元素的集合,称为空集, 记为,它可形式地表为 0=kP(A IP() 其中P(x)为任何谓词公式。 由定义可知,对任何集合A,有必cA。这 是因为任意元素x,公式E∈A总是为真。 PT PRESS 人民邮电出版社 合心

注意,与{}是不同的。{}是以必为元 素的集合,而必没有任何元素,能用⑦构成集合 的无限序列 (1)2,团},{{}}, 。 该序列除第一项外,每项均以前一项为元 素的集合。 PT PRESS 人民邮电出版社 合心