The Free On-line Dictionary of Computing (19 January 2023):

Banach algebra

    An algebra in which the vector space is a
   Banach space.

   (1997-02-25)