Banach

A Banach space is a complete normed vector space.

To show that Y is Banach, let {yₙ} be a Cauchy sequence in Y.

... but if E is Banach, then ...

... Try to prove that if L(E, F) is Banach, then F is Banach, ...