Matroid

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.