Bases Are Exactly Independent Spanning Sets is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a matroid on ground set , let be its collection of independent sets, and let denote its closure operator. For a subset , the set is a basis of if and only if and.