Eine symmetrische Bilinearform ⟨ − , − ⟩ {\displaystyle {}\left\langle -,-\right\rangle } auf einem reellen Vektorraum V {\displaystyle {}V} heißt positiv semidefinit, wenn ⟨ v , v ⟩ ≥ 0 {\displaystyle {}\left\langle v,v\right\rangle \geq 0} für alle v ∈ V {\displaystyle {}v\in V} ist.
