La combinatoria, una rama de las matemáticas, llama matroide a una estructura que representa la esencia de "independencia" que generaliza la independencia lineal en vectores espaciales. Hay muchas maneras equivalentes de definir a una matroide y muchos conceptos dentro de la teoría de matroides tienen una serie de formulaciones diferentes.