バナッハ環
A JB algebra is a Jordan Banach algebra satisfying