Banach algebra
A JB algebra is a Jordan Banach algebra satisfying