Definition 1
Tag 0792, permanent. Cite it as [Bourbaki, Tag 0792].
Topological Vector Spaces, chapter I, § 2. Linear varieties in a topological vector space
— A set , in a topological vector space , is total if, and only if, the closed vector subspace generated by coincides with (i.e. the set of linear combinations of elements of is everywhere dense).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.