Uniform Matroid is Matroid

Theorem
Let $S$ be a finite set of cardinality $n$.

Let $0 \le k \le n$.

Let $U_{k,n} = \struct{S, \mathscr I}$ be the uniform matroid of rank $k$.

Then $U_{k,n}$ is a matroid.