Definition 1

Tag 04U0, permanent. Cite it as [Bourbaki, Tag 04U0].

Commutative Algebra, chapter VI, § 4. The height of a valuation

A subgroup H of an ordered group G is called isolated if the relations $0 \leq y \leq x$ and $x \in H$ imply $y \in H$ .

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

Cited by

Nothing.