Una matroide formula_1 es un par ordenado de elementos formula_2 donde formula_3 es un conjunto finito e formula_4 es un subconjunto del conjunto potencia de formula_3 que cumplen las siguientes propiedades: