Derivation-faithful Lie subring

Definition
A subring of a Lie ring is termed derivation-faithful if every nonzero derivation of the whole Lie ring that sends the subring to itself restricts to a nonzero derivation of the subring.

Stronger properties

 * Weaker than::Centralizer-free ideal: