Banach space in Polish

(functional analysis) 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.