Tags: #theorem

Statement

For $1\le k\le \frac{n}{2}$, construct a bijection $f$ between the size $k$ subsets of $n$ to the size $n-k$ subsets of $[n]$ such that if $I\mapsto J$, $I\subseteq J$.