Es sei K {\displaystyle {}K} ein Körper und
ein homogenes lineares Gleichungssystem über K {\displaystyle {}K} .
Dann ist die Menge aller Lösungen des Gleichungssystems ein Untervektorraum des K n {\displaystyle {}K^{n}} (mit komponentenweiser Addition und Skalarmultiplikation).