Remark

Tag 05HL, permanent. Cite it as [Bourbaki, Tag 05HL].

Algebra, chapter I, § 8. Rings

In the above notation, $\theta$ and $\eta$ are ordered set isomorphisms ( $\Phi$ and $\Phi'$ being ordered by inclusion).

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

Cited by

Nothing.

Nothing.