noun A structure that captures the essence of a notion of "independence" that generalizes linear independence in vector spaces and acyclicality in graphs.
A matroid can be defined in terms of bases. A matroid consists of a ground set as well as a set of bases which is a nonempty subset of the power set of the ground set.