ord_symdiff(+ Set1, + Set2, ? Difference)*
Holds when Difference is the symmetric difference of Set1 and Set2.