Let be a [[K-monoid|-ring]].
The anticommutator is a Jordan product defined by falg
The anticommutator algebra or associated Jordan algebra is denoted ,
and a version with a renormalized product is denoted , so that agree in and .
See also Commutator and Supercommutator.