Una matroide es un par ordenado de elementos formula_19 donde formula_3 es un conjunto no vacío de elementos y formula_21 es un subconjunto del conjunto potencia de E, tal que cumple las siguientes propiedades.