Rank Axioms Characterize Matroid Independent Sets is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite set and let satisfy the four rank laws stated in the previous theorem. Then defines the independent sets of a matroid on.