Bourbaki

Example 1

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

Theory of Sets, chapter IV, § 2. Morphisms and derived structures

An order structure with graph ss on a set A is finer than an order structure with graph s′s' if and only if s⊂s′s \subset s'. In other words, the relation x⩽yx \leqslant y with respect to ss implies x⩽yx \leqslant y with respect to s′s'; this is in accordance with the definition given in Chapter III, § 1, no. 4, Example 3.

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

Transcribed from the printed edition, 2004, Springer. Not translated.