Matroid Base Packing Theorem is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a matroid on a finite ground set , and let be its rank function. For , the matroid has pairwise disjoint bases if and only if, for every subset , \begin{align } |E\setminus A|\ge k\bigl(r(E) r(A)\bigr). \end{align.