バナッハ環
A Banach *-algebra "A" is a Banach algebra over the field of complex numbers, together with a map * : "A" → "A" that has the following properties: