Gerador minimal e LI maximal
Seja \(B = (v_1,\ldots,v_k)\) uma lista de vetores de \(V\).
\(B\) é um gerador minimal de \(V\) se gera \(V\) e nenhuma lista obtida de \(B\) retirando um vetor gera \(V\).
\(B\) é LI maximal em \(V\) se é LI e, para todo \(u\in V\), a lista \((v_1,\ldots,v_k,u)\) é LD.
def-minmax