Orthocomplement Reverses Subset

Theorem
Let $H$ be a Hilbert space.

Let $A, B$ be subsets of $H$, and let $A \subseteq B$.

Then $B^\perp \subseteq A^\perp$, where $\perp$ signifies orthocomplementation.

Proof
Suppose $h \in B^\perp$.

Then:

Therefore, $B^\perp \subseteq A^\perp$.