Derivation-invariant direct factor

Definition
A subring of a Lie ring is termed a derivation-invariant direct factor if it is both derivation-invariant and a direct factor of the whole ring.

Stronger properties

 * Weaker than::Perfect direct factor of a Lie ring
 * Weaker than::Self-centralizing direct factor of a Lie ring