バナッハ環
A Jordan Banach algebra is a real Jordan algebra with a norm making it a Banach space and satisfying || "a" ∘ "b" || ≤ ||"a"||⋅||"b"||.