Lie cring

Definition
A Lie cring is an abelian group $$L$$ (denoted additively) equipped with a binary operation $$*$$ satisfying the following additional conditions:

Equivalently, a Lie cring is a near-Lie cring for which the cring operation $$*$$ is skew-symmetric.