The orthogonal compliment to a subspace W is the the set of all vectors that are orthogonal to W. i.e. W⊥=∀(y∈W){x∣x⋅y=0}