Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Considere $\leq$ uma Boa Ordem sobre o Espaço Vetorial $V$. Vamos definir o conjunto $B=\{v \in V: v \notin [\{w \in V: v < w\}[\}$ que será uma base para V.