Banach space (Q194397)
normed vector space that is complete
Language: