Axiom:Circuit Axioms (Matroid)

Definition
Let $S$ be a finite set.

Let $\mathscr C$ be a non-empty set of subsets of $S$.

Also see

 * Equivalence of Definitions of Matroid Circuit Axioms