Corollary 2

Tag 07HF, permanent. Cite it as [Bourbaki, Tag 07HF].

Topological Vector Spaces, II, p. 45, § 6. Weak topologies

For every vector subspace $M$ of $F$ , the subspace $M^{\circ\circ}$ is the closure of $M$ in the topology $\sigma(F, G)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.