Banach space
which is a Banach space with norm