Una bolsa es, en informática, un tipo abstracto de datos.
La especificación es muy parecida a la del TAD conjunto.
La diferencia es que si hay elementos repetidos permanecen todas las ocurrencias.
Al número de veces que un elemento aparece en la bolsa se denomina multiplicidad.
A continuación mostraremos una posible especificación del tipo abstracto Bolsa para Maude con sus operaciones más usuales.