Es sei ein homogenes
lineares Gleichungssystem
-
über einem
Körper
gegeben, wobei wir die
-te Gleichung als Kernbedingung für die
Linearform
-
auffassen. Es sei
-

der von diesen Linearformen im
Dualraum
erzeugte Untervektorraum.
Dann ist
der Lösungsraum des Gleichungssystems.