En matemáticas un multiconjunto (también llamado bolsa o bag) difiere de un conjunto en que cada miembro del mismo tiene asociada una multiplicidad (un número natural), indicando cuántas veces el elemento es miembro del conjunto.
Para evitar confusión debiera escribirse:
A se conoce como el conjunto subyacente de elementos.
Siendo esta, sin duda, la definición (utilizando teoría de conjuntos) de la función m. Por ejemplo: Si el conjunto A es finito, el tamaño o longitud del multiconjunto (A, m) es la suma de todas las multiplicidades para cada elemento de A: Un submulticonjunto (B, n) del multiconjunto (A, m) es un subconjunto B ⊆ A y una aplicación n : B → N tal que n(a) ≤ m(a).
Una ecuación cuadrática, por ejemplo, tiene dos soluciones; aunque en algunos casos, ambas pueden ser el mismo número.