The orthogonal complement of $W$ a subspace of the vector space $V$ is the set \(W^\perp = \{v \in V \mid \forall w \in W, \text{ } \langle v, w\rangle = 0\}.\) This is itself a vector subspace: write_proof
Wikidata ID: Q1780921