Corollary
Tag 08K3, permanent. Cite it as [Bourbaki, Tag 08K3].
Integration, chapter II, § 1. Riesz spaces and fully lattice-ordered spaces
— Let be an element of a fully lattice-ordered space , the band generated by , the band of elements alien to . For every element of , the component of in (for the decomposition of as the ordered direct sum of and ) is equal to .
This follows from Proposition 6, applied to , and Proposition 5.
Note that the bands generated by and are identical. If and are two elements of that are alien to each other, and if and are the bands generated by and , respectively, then every element of is alien to every element of ; for, belongs to the band of elements alien to , whence , and, by Theorem 1, every element of is alien to every element of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.