证明集合包含关系的几种方法 若证明 A ⊆ \subseteq ⊆B,则 用定义 ∀ \forall ∀ x ∈ \in ∈A,经过演绎推出 x ∈ \in ∈B即可。 集合传递性 利用条件推出 A ⊆ \subseteq ⊆T, T ⊆ \subseteq ⊆B,利用传递性。 利用 若 A ∪ \cup ∪B=B,A ∩ \cap ∩B=A,则A ⊆ \subseteq ⊆B 利用已知条件和集合的交,并,差,环和等运算证明 留空 利用反正法 若 A ⊊ \subsetneq ⊊B,经过演绎推出和已经条件矛盾