User:Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 1

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 :