Matroïde

Une structure combinatoire (E, I) sur un ensemble fini E avec une famille I de sous-ensembles indépendants satisfaisant des axiomes (hérédité et échange) qui généralisent l'indépendance linéaire dans les espaces vectoriels et l'absence de cycles dans les graphes.