Transversal Matroid Theorem is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that for every finite set , every nonnegative integer , and every family , the partial transversals of are the independent sets of a matroid on.