Jelölések: Egy M multihalmaz a H halmaz felett a H-n értelmezett természetes számokat felvevő függvény. M számossága értékeinek összege. M tartalmazza az N multihalmazt, ha N<=M, azaz minden H-beli h elemre N(h)<=M(h). P(M) az M multihalmaz részhalmazainak halmaza.
Tétel: Legyen M egy multihalmaz {h1,h2,...,hn} felett. Ekkor