Left transiter of ideal is derivation-invariant Lie subring

From Groupprops

ANALOGY: This is an analogue in Lie rings of a fact encountered in group. The old fact is: left transiter of normal is characteristic.
View other analogues of left transiter of normal is characteristic|View other analogues from group to Lie ring (OR, View as a tabulated list)

Statement

Suppose is a Lie ring and is a subring of such that, for any Lie ring such that is an ideal of , is an ideal of .