Matroide

Una estructura combinatoria (E, I) sobre un conjunto finito E con una familia I de subconjuntos independientes que satisfacen axiomas (herencia e intercambio) que abstraen la independencia lineal en espacios vectoriales y la ausencia de ciclos en grafos.