Equivalence of Definitions of Matroid

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