\begin{definition}[Definition:Independence System]
Let $S$ be a finite set.
Let $\mathscr F$ be a set of subsets of $S$ satisfying the independence system axioms:
{{:Definition:Independence System Axioms}}
The ordered pair $I = \struct {S, \mathscr F}$ is called an '''independence system on $S$'''.
\end{definition}