In matroid theory, the dual of a matroid is another matroid that has the same elements as , and in which a set is independent if and only if has a basis set disjoint from it.[1][2][3]
Matroid duals go back to the original paper by Hassler Whitney defining matroids.[4] They generalize to matroids the notions of plane graph duality.