Matroid
Definition
A finitary combinatorial structure (E, I) on a finite ground set E with a family I of independent subsets satisfying axioms (heredity and exchange) that abstract linear independence in vector spaces and cycle-freeness in graphs.