Kevin Wortman scripsit:

> It might help to clarify how bag-cartesian-product and bag-powerset work
> w.r.t. duplicate elements.

Do you think it should be called bag-power-set rather than bag-power-bag?

Duplicates are treated like any other elements:  the power bag of
{a, a, b} is {{}, {a}, {a}, {b}, {a, a}, {a, b}, {a, b}, {a, a, b}}.
I'm not sure what there is to clarify: can you explain?

--
John Cowan          http://www.ccil.org/~cowan        xxxxxx@ccil.org
Be yourself.  Especially do not feign a working knowledge of RDF where
no such knowledge exists.  Neither be cynical about RELAX NG; for in
the face of all aridity and disenchantment in the world of markup,
James Clark is as perennial as the grass.  --DeXiderata, Sean McGrath