matroide

Estrutura alxébrica que consiste nun conxunto E e nun conxunto S de partes non baleiras de E que satisfán que todo singletón de E pertence a S. Se X Symbol >∈ S, entón toda parte Y non baleira de E incluída en X pertence tamén a S; e, para toda parte A de E, se X e Y son dous elementos de S contidos en A e maximais, entón card X = card Y.