Definition (Banach space)

An $\mathbb{F}-$Banach Space is a complete $\mathbb{F}$-normed vector space.