Banach Spaces

Definition

A Banach Space is a vector space endowed with a norm that is complete.