Una colección desordenada de los valores que pueden tener duplicados. Definición formal: un bolso tiene una función única consulta, teléfonoen (v, B), que dice cuántas copias de un elemento en la bolsa y dos funciones de modificador, añadir (v, B) y retire (v, B). Éstos pueden definirse con semántica axiomática como sigue.

1. new() devuelve un bolso
2. bancaria en (v, new()) = 0
3. bancaria en (v, añadir (v, B)) = 1 + bancaria en (v, B)
4. bancaria en (v, añadir (u, B)) = bancaria en (v, B) si v ≠ u
5. Quitar (v, new()) = new()
6. Quitar (v, añadir (v, B)) = B
7. Quitar (v, añadir (u, B)) = añadir (u, quitar (v, B)) si v ≠ u