Definition 3
Tag 06WM, permanent. Cite it as [Bourbaki, Tag 06WM].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
In an ordered group , any element such that (resp. ) is called a positive (resp. negative) element.
Note that is the only element which is both positive and negative ; any element such that (resp. ) is called strictly positive (resp. strictly negative).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.