ein reeller Vektorraum X, der mit einer mit der linearen Struktur verträglichen Ordnungsstruktur versehen ist, d.h., X ist mit einer reflexiven, antisymmetrischen und transitiven Relation ≥ versehen, die folgenden Bedingungen genügt:

1. x ≥ y ⇒ x + z ≥ y + z ∀z ∈ X,
2. x ≥ y ⇒ λx ≥ λy ∀λ ∈ ℝ.