Lazard ideal of a Lie ring

Definition
A Lazard ideal of a Lie ring is an ideal of a Lie ring that becomes a Lazard Lie ring in its own right with the induced Lie ring structure.