基本证明方式(1) ■直接使用集合包含或相等定义 口例1：AUB=B→AcB 口例2：AcB→AB=A 例1，待证结论：AcB 因此：证明过程如下： 即：对任何X,X∈A→X∈B 对任何x,假设x∈A 因此：证明过程如下： 由集合并定义：X∈AUB 对任何x,假设x∈A 由已知条件：AUB=B <填入适当内容> ∴.X∈B ∴.X∈B 因此：AcB 因此：AcB基本证明方式（1）  直接使用集合包含或相等定义  例1：AB=B  AB  例2：AB  AB=A 例1，待证结论： AB 即：对任何x, xA  xB 因此：证明过程如下： 对任何x, 假设xA <填入适当内容> x B 因此： AB 因此：证明过程如下： 对任何x, 假设xA 由集合并定义：xAB 由已知条件： AB=B x B 因此： AB