A -algebra is a complex Banach algebra with an involution compatible with complex conjugation (=-algebra) and such that the -identity holds:
Every -algebra can be realized (via GNS construction) as a norm closed -subalgebra of the Banach -algebra of bounded linear operators on a Hilbert space with the induced norm.
See operator algebras.