Axiom:Base Axiom (Matroid)

Definition
Let $S$ be a finite set.

Let $\mathscr B$ be a non-empty set of subsets of $S$.

$\mathscr B$ is said to satisfy the base axiom if: