Variable setCompareConst

CopySet X is smaller than CopySet Y iff all of these conditions hold:

1. For every x in X, x is also in Y.
2. There is a y in Y that is not in X.

X is equivalent to Y iff the condition 1 holds but condition 2 does not.