Our professor gave us the theorem:
$S(n+1,m+1)=\sum\limits_{k=m}^n \binom{n}{k} S(k,m)$,
where $S(n,m)$ denotes the number of partitionings of a set with $n$ elements into $m$ blocks.
I don't want a proof of this equation as Wikipedia and our professor gave it to us. I just don't understand the intuition behind it.
Could someone explain using for example gifts and packages ?
The real key is that $\binom{n}{k}=\binom{n}{n-k}$. So you take $n+1$ gifts labeled $\{1,\dots n+1\}.$ Take gift $n+1$ and $n-k$ other gifts, and put them in the first package, then partition the remaining $k$ gifts into $m$ packages.