Definition, synonyms and related words
A normed vector space which is complete with respect to the norm, meaning that Cauchy sequences have well-defined limits that are points in the space.