Definition

are orthogonal complement

all vectors in are orthogonal to every vector in