Definition 2
Tag 07BH, permanent. Cite it as [Bourbaki, Tag 07BH].
Topological Vector Spaces, chapter II, § 2. Convex sets
— Given a subset A of an affine space E, we call the intersection of all convex sets containing A, the convex envelope of A, that is to say (II, p. 9, prop. 5) it is the smallest convex set containing A.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.