バナッハ環
is a unitary commutative Banach algebra.