A Jordan algebra over is commutative non-associative algebra with a symmetric bilinear product satisfying the Jordan identityfalg
The quintessential example is the Anticommutator of a K-monoid,
usually renormalized so that .
We denote the anticommutator algebra by and the renormalized one as .