CopySet X is smaller than CopySet Y iff all of these conditions hold:
X is equivalent to Y iff the condition 1 holds but condition 2 does not.
CopySet X is smaller than CopySet Y iff all of these conditions hold:
X is equivalent to Y iff the condition 1 holds but condition 2 does not.