Proofs Involving Sets Introduction This is the standard procedure for proving A=B: Prove both A⊆B and B⊆A.