\begin{definition}[Definition:Matroid Axioms]
Let $S$ be a finite set.
Let $\mathscr I$ be a set of subsets of $S$.
The '''matroid axioms''' are the conditions on $S$ and $\mathscr I$ in order for the ordered pair $\struct {S, \mathscr I}$ to be a matroid:
\end{definition}