Existence and Uniqueness of Fundamental Circuits in a Matroid is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a matroid on ground set , let be a basis of , and let . Then there exists a unique circuit of such that . Moreover,.