Theorems · Definition · combinatorics

Matroid.IsBasis

{α : Type u_1} → Matroid α → Set α → Set α → Prop

A Basis for a set X ⊆ M.E is a maximal independent subset of X (Often in the literature, the word 'Basis' is used to refer to what we call a 'Base').

Defined in

Mathlib.Combinatorics.Matroid.Basic

Cited by

219 results in Mathlib

Foundations

Depth 6 from the axioms, rests on 16 definitions · uses no axioms