4[[集合論]]において頻出する証明パターンをまとめておく # 包含関係 $A \subset B$を示すには、$\forall x \in A$について$x \in B$であることを示せばよい # 等式 $A = B$を示すには、以下の2つを順に示し挟み撃ちしてあげればいい 1. $A \subset B$を示す 2. $A \supset B$を示す