Circuit Elimination Axiom for Matroids is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite matroid with rank function . If are distinct circuits of and , then there exists a circuit such that \begin{align } C 3 \subset (C 1 \cup C 2) \setminus \{e\}. \end{align.