バナッハ環
In other words, a Banach *-algebra is a Banach algebra over formula_27 that is also a *-algebra.