Remark

Tag 03VH, permanent. Cite it as [Bourbaki, Tag 03VH].

Theory of Sets, chapter IV, § 1. Structures and isomorphisms

When $P$ is a “q-tuple” $(P_1,\ldots,P_q)$ , it is also said that the terms $P_1,\ldots,P_q$ constitute a procedure of deduction of a structure of species $\Theta$ from a structure of species $\Sigma$ .

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.

Cites

Nothing.