Bourbaki

Definition 3

Tag 06WM, permanent. Cite it as [Bourbaki, Tag 06WM].

Algebra, chapter VI, § 1. Ordered groups. Divisibility

In an ordered group GG, any element xx such that 0≤x0 \leq x (resp. x≤0x \leq 0) is called a positive (resp. negative) element.

Note that 00 is the only element which is both positive and negative ; any element xx such that 0<x0 < x (resp. x<0x < 0) 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.

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