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").