Axiom:Matroid Axioms

Definition
Let $S$ be a finite set.

Let $\mathscr I$ be a set of subsets of $S$.

The matroid axioms are the conditions on $\mathscr I$ which are satisfied for all elements of $\mathscr I$ in order for the ordered pair $\struct {S, \mathscr I}$ to be a matroid: