Axiom:Rank Axioms (Matroid)/Definition 2

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

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