Leigh.Samphier/Sandbox/Proper Subset of Matroid Circuit is Independent

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Let $C \subseteq S$ be a circuit of $M$.


Then:

every proper subset $A$ of $C$ is independent

Proof

$\blacksquare$