Is true when Difference is the symmetric difference of Set1
and
Set2. I.e., Difference contains all elements that
are not in the intersection of Set1 and Set2. The
semantics is the same as the sequence below (but the actual
implementation requires only a single scan).