On Mon, Jun 3, 2013 at 12:10 AM, John Cowan <xxxxxx@mercury.ccil.org> wrote:
 
I think that might be too much consistency.  In particular, enum-sets
are sets, but multisets/bags are not sets.  (Similarly, a white lion is
a lion, but a stone lion is not a lion, merely a statue that somewhat
resembles a lion.)

Sure they're sets.  They're just sets each of whose elements is accompanied by a count.