简答题 设A，B 为两个集合，证明A—B=A 当且仅当A∩B=∅。

设非空集合A，验证（P（A），∪，∩，~，∅，A）是布尔代数。

问答题设非空集合A，验证（P（A），∪，∩，~，∅，A）是布尔代数。

证明如果非空集合A 上的二元关系R 和S 是偏序关系，则R∩S也是A上的偏序关系。

问答题证明如果非空集合A 上的二元关系R 和S 是偏序关系，则R∩S也是A上的偏序关系。

设B 是任意集合，试验证（P（B），⊕）是群，P（B）是集合B 的幂集，⊕是集合的对称差运算。

问答题设B 是任意集合，试验证（P（B），⊕）是群，P（B）是集合B 的幂集，⊕是集合的对称差运算。