Definition:Matroid

Definition
Let $S$ be a finite set.

Let $\mathscr I$ be a set of subsets of $S$ satisfying the matroid axioms:

The ordered pair $M = \struct{S, \mathscr I}$ is called a matroid on $S$, or simply a matroid when the context is obvious.