A JBW algebra is a JB algebra that, as a real Banach space, is the dual of a Banach space called its predual. There is an equivalent more technical definition in terms of the continuity properties of the linear functionals in the predual, called normal functionals. This is usually taken as the definition and the abstract characterization as a dual Banach space derived as a consequence.
