User:Leigh.Samphier/Sandbox/Definition:Circuit Axioms (Matroid)/Definition 2

Definition
Let $S$ be a finite set.

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

$\mathscr C$ is said to satisfy the circuit axioms :