Jelölés: Egy n elemû H halmaz feletti k elemû multihalmazok halmaza (( ^H_k )). A fenti halmaz elemszáma ((ⁿ_k))

Tétel: ((ⁿ_k))=(^n+k-1_k)= (-1)^k (^-n_k).

Tétel: ((ⁿ_k))=((^n-1_k))+ ((ⁿ_k-1)).

Tétel: ((ⁿ_k))= ((^n-1_k))+ ((^n-1_k-1))+ ((^n-1_k-2))+...+ ((^n-1₀)).

Tétel: ((ⁿ₀))+ ((ⁿ₁))x+ ((ⁿ₂))x²+ ((ⁿ₃))x³+ ((ⁿ₄))x⁴+... =(1-x)^-n.