Remark 2
Tag 03VB, permanent. Cite it as [Bourbaki, Tag 03VB].
Theory of Sets, chapter IV, § 1. Structures and isomorphisms
Names are given to the species of structures most frequently used in mathematics, and to sets endowed with structures of these species. Thus an ordered set (Chapter III, § 1) is a set endowed with an order structure (Example 1); \* in the later Books of this series, we shall define the notions of group, field, topological space, differentiable manifold, etc., all of which denote sets endowed with certain structures. \*
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.