Konvexe Bewertungsringe und reelle Stellen

Zusammenfassung

Definition 1. Ist (M, S) eine (partiell) geordnete Menge und X ⊆ M eine Teilmenge, so heißt X konvex in M, wenn für alle x, y, z ∈ M gilt:

$x \leqslant z \leqslant y\,und\,x,y \in X \Rightarrow z \in X.$