Annexe E Compléments facultatifs et hors programme au chapitre 7
Le théorème des bases ne nécessite pas l’hypothèse dénombrable ou séparable, voici la version générale.
Comme l’existence de base algébrique d’un espace vectoriel de dimension infinie, elle requière un lemme général de théorie des ensembles: