The orthogonal complement of WWW a subspace of the vector space VVV is the set W⊥={v∈V∣∀w∈W, ⟨v,w⟩=0}.W^\perp = \{v \in V \mid \forall w \in W, \text{ } \langle v, w\rangle = 0\}.W⊥={v∈V∣∀w∈W, ⟨v,w⟩=0}. This is itself a vector subspace: write_proof
Wikidata ID: Q1780921