Example

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

Topological Vector Spaces, chapter II, § 2. Convex sets

— On the space $E = \mathbf{R}^A$ of all finite real-valued functions defined over A, the relation of order given by « for all $t \in A$ , $x(t) \leqslant y(t)$ » is compatible with the vector space structure of E.

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

Cited by

Nothing.

Cites

Nothing.