Axiom:Independence System Axioms

Definition
Let $S$ be a finite set.

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

The independence system axioms are the conditions on $\mathscr F$ which are satisfied for all elements of $\mathscr F$ in order for the ordered pair $\struct {S, \mathscr F}$ to be an independence system: