eine normierte Algebra B über ℝ oder ℂ, die vollständig ist.

Dies bedeutet also, daß jede Cauchy-Folge (x_n)_n∈ℕ, x_n ∈ B konvergiert gegen einen Grenzwert \begin{eqnarray}x=\mathop{\mathrm{lim}}\limits_{n\to \infty }{x}_{n}\in B.\end{eqnarray}