A normed linear space $(X, \vert \vert \cdot\vert \vert )$ is Banach if it is complete under the metric induced by the norm.
Wikidata ID: Q194397