 Double orthogonal complement

For a linear subspace $F$ of a Hilbert space,Thus $F=F^{\perp \perp }$ exactly when $F$ is closed.