Axiom:Rank Axioms (Matroid)/Definition 1

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 :

Also see

 * Equivalence of Definitions of Matroid Rank Axioms