バナッハ環
Spectrum of a unital Banach algebra.