Example

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

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

Given two sets E, F, the set $\mathfrak{P}(\mathfrak{P}(\mathrm{E})) \times \mathfrak{P}(\mathrm{F})$ is an echelon on E, F, with scheme

(0, 1), \quad (0, 2), \quad (1, 0), \quad (3, 0), \quad (2, 0), \quad (4, 5).

It is also the echelon on E, F with scheme

(0, 2), \quad (0, 1), \quad (1, 0), \quad (2, 0), \quad (4, 0), \quad (5, 3).

Distinct schemes may therefore give rise to the same echelon on the same terms.

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.