Seien K ein Körper, V ein endlich erzeugter K-Vektorraum und und f eine σ-Bilinearform.
Seien A ⊆ V und M ⊆ V∗.
Dann ist A⊥ ≤K V∗ und M⊤ ≤K V .
