Edmonds' Matroid Partition Theorem is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a matroid on a finite ground set with rank function , and let . The ground set is a union of independent sets of if and only if for every.