\begin{definition}[Definition:Dimension (Hilbert Space)]
Let $H$ be a Hilbert space, and let $E$ be a basis of $H$.
Then the '''dimension''' $\dim H$ of $H$ is defined as $\card E$, the cardinality of $E$.
\end{definition}