CopyBag X is smaller than CopyBag Y iff all of these conditions hold (where count(A, a) is shorthand for the count associated with a in A):
count(A, a)
a
A
X is equivalent to Y iff the condition 1 holds but condition 2 does not.
CopyBag X is smaller than CopyBag Y iff all of these conditions hold (where
count(A, a)
is shorthand for the count associated witha
inA
):X is equivalent to Y iff the condition 1 holds but condition 2 does not.