Bag

Finite multiset.
Can be defined as a quotient over list, allowing swaps:

$$x::y::xs=y::x::xs$$