Bag

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

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