Es sei K {\displaystyle {}K} ein angeordneter Körper und sei
(siehe Fakt.). Dann sind die beiden Teilmengen
Untervektorräume von V {\displaystyle {}V} mit U ⊆ C {\displaystyle {}U\subseteq C} . Die erste Aussage folgt aus Fakt, für die zweite Aussage siehe Aufgabe.