Submodular Functions, Matroids, and Certain Polyhedra
The viewpoint of the subject of matroids, and related areas of lattice theory, has always been, in one way or another, abstraction
of algebraic dependence or, equivalently, abstraction of the incidence relations in geometric representations of algebra.
Often one of the main derived facts is that all bases have the same cardinality. (See Van der Waerden, Section 33.)