\begin{definition}[Definition:Closed Set/Normed Vector Space/Definition 1]
Let $V = \struct{X, \norm{\,\cdot\,} }$ be a normed vector space.
Let $F \subset X$.
'''$F$ is closed in $V$''' {{iff}} its complement $X \setminus F$ is open in $V$.
\end{definition}