バナッハ環
Gelfand representation of a commutative Banach algebra.