Category:Matroid Rank Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Matroid Rank Functions.

The rank function of $M$ is the mapping $\rho : \powerset S \to \Z$ from the power set of $S$ into the integers defined by:

$\forall A \subseteq S : \map \rho A = \max \set {\size X : X \subseteq A \land X \in \mathscr I}$

where $\size A$ denotes the cardinality of $A$.