True if the FD sets Set1 and Set2 are equal, i. e.
contain exactly the same elements. This is not necessarily the same as
unification or a term equality check, because some FD sets have multiple
possible term representations.
Tags are associated to your profile if you are logged in