若X 是一个非空集合,M 是一个以 的某些子集为元素的集合,且满足:① 、 X属于M,空集属于M ; ②对于X