Definition:Orthogonal (Linear Algebra)/Orthogonal Complement/Also known as

Orthogonal Complement: Also known as
The orthogonal complement of a subset $A$ of a Hilbert space is also known as its orthocomplement.

The operation of assigning the orthogonal complement $A^\perp$ to $A$ is referred to as orthocomplementation.