User:Leigh.Samphier/Matroids/Axiom:Base Axioms (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 axioms :