Leigh.Samphier/Sandbox/Matroid with No Circuits Has Single Base

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $M = \struct {S, \mathscr I}$ be a matroid with no circuits.


Then:

$S$ is the only base on $M$.


Proof

$\blacksquare$