Circuit Axioms Characterize Matroids is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite set and let be a collection of nonempty subsets of such that no member of properly contains another member of , and such that circuit elimination holds: whenever are distinct and , there is with \begin{align } C 3\subset (C.