Banach algebra
対合バナッハ環（ついごうバナッハかん、; 対合バナッハ代数）、バナッハ *-環（バナッハ・スターかん、; バナッハ *-代数, バナッハ対合環）あるいは対合付きバナッハ環 (Banach algebra with involution) は、複素数体上のバナッハ環 で、対合 を持ち、以下の条件を満たす: および は任意、かつ は の複素共軛として