Sei ${\displaystyle {}V}$ ein euklidischer Vektorraum und ${\displaystyle {}U\subseteq V}$ ein Untervektorraum. Dann heißt

${\displaystyle {}U^{\perp }={\left\{v\in V\mid \left\langle v,u\right\rangle =0{\text{ für alle }}u\in U\right\}}\,}$

das orthogonale Komplement von ${\displaystyle {}U}$.