En teoría de conjuntos, un multiconjunto se define como el par ("A", "m") donde "A" es un conjunto y "m" : "A" → N es una función de "A" a N (números naturales).