Orthocomplement is Closed Linear Subspace

Theorem
Let $H$ be a Hilbert space, and let $A \subseteq H$ be a subset.

Then the orthocomplement $A^\perp$ of $A$ is a closed linear subspace of $H$.