Definition of "Banach"

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

2001, V. K. Krishnan, Textbook of Functional Analysis: A Problem-oriented Approach, PHI Learning Pvt. Ltd., page 73

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

2012, A.Y. Helemskii, The Homology of Banach and Topological Algebras, Springer Science & Business Media, page 23

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

2012, Michael J. Field, Differential Calculus and Its Applications, Courier Corporation, page 51