Basis Axioms for Matroids is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite set, and let be a nonempty collection of subsets of . Then is the collection of bases of a matroid on if and only if the following two conditions hold: 1. For all , if , then . 2. For all and every , there exists such that.