Diberikan suatu subruang \(W\) dari \(\real^m\text{,}\) komplemen ortogonal dari \(W\) adalah himpunan vektor di \(\real^m\) yang masing-masing ortogonal terhadap setiap vektor di \(W\text{.}\) Komplemen ortogonal ini kita notasikan dengan \(W^\perp\text{.}\)