If formula_1 is a matroid on formula_3, and formula_12 is a subset of formula_3, then a matroid on formula_12 can be defined by considering a subset of formula_12 to be independent if and only if it is independent in formula_1.
Матроид — пара formula_1, где formula_2 — конечное множество, называемое носителемматроида, а formula_3 — некоторое множество подмножеств formula_2, называемоесемейством "независимых" множеств , то есть formula_5 formula_6.