Category:Axioms/Matroid Theory

From ProofWiki
Jump to navigation Jump to search

This category contains axioms related to Matroid Theory.


Let $M = \struct {S, \mathscr I}$ be an independence system.


$M$ is called a matroid on $S$ if and only if $M$ also satisfies:

\((\text I 3)\)   $:$     \(\ds \forall U, V \in \mathscr I:\) \(\ds \size V < \size U \implies \exists x \in U \setminus V : V \cup \set x \in \mathscr I \)