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