Es sei ein homogenes
lineares Gleichungssystem
-
gegeben, wobei wir die
-te Gleichung als Kernbedingung für die
Linearform
-
auffassen. Es sei
-
![{\displaystyle {}F=\langle L_{1},\ldots ,L_{m}\rangle \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63db5e336262a30471ae500063e24078d87cddea)
der von diesen Linearformen im
Dualraum
erzeugte Untervektorraum.
Dann ist
der Lösungsraum des Gleichungssystems.