Sei K ein komm., unitärer Ring, ((V;+);⋄) ein K-Raum, T⊆V

Es sind äquivalent:

i) T≤_KV

ii) T≠ ∅ T ist abgeschlossen bez +, ∀ c ∈ K ∀ v ∈ T cv ∈ T