Rank of Independent Subset Equals Cardinality

Theorem
Let $M = \struct {S, \mathscr I}$ be a matroid.

Let $\rho : \powerset S \to \Z$ be the rank function of $M$.

Let $X \in \mathscr I$

Then:
 * $\map \rho X = \size X$