Spazio vettoriale (sul campo dei numeri reali o complessi, la cui dimensione può essere infinita), su cui è definita una norma, tale che ogni successione di Cauchy è convergente (ha cioè un limite) a un elemento dello spazio (Wikipedia)