Multihalmazok

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

|P(M)|=(1+M(h1))(1+M(h2))...(1+M(hn)).