Definition 4
Tag 07L1, permanent. Cite it as [Bourbaki, Tag 07L1].
Topological Vector Spaces, chapter III, § 1. Bornology in a topological vector space
Let be a locally convex space. A bornology on is said to be adapted to , if it is convex, is composed of bounded subsets of and if the closure of every set of belongs to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.