Example

Tag 08JY, permanent. Cite it as [Bourbaki, Tag 08JY].

Integration, chapter II, § 1. Riesz spaces and fully lattice-ordered spaces

In the space $\mathbf{R}^A$ of real-valued functions defined on a set $A$ , the set of functions that are zero at all the points of a subset $M$ of $A$ is a band.

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

Cited by

Nothing.

Cites

Nothing.