[bigbonch]

When you say "bag semantics" are you just referring to Set Theory? Is there a formal distinction between bags and sets?

[pkkim]

With bag (multiset) semantics, {1, 2, 2} is different from {1, 2}. With set semantics, they're the same.