Axiom:Rank Axioms (Matroid)

Definition
Let $S$ be a finite set.

Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ into the integers

Definition 1
$\rho$ is said to satisfy the rank axioms if:

Definition 2
$\rho$ is said to satisfy the rank axioms if: