Set operations or Set equality proofs