Characteristic derivation-invariant Lie subring

Definition
A subring of a Lie ring is termed a characteristic derivation-invariant Lie subring if it is both a characteristic subring (i.e., it is invariant under all automorphisms of the Lie ring) and a derivation-invariant Lie subring (i.e., it is invariant under all derivations of the Lie ring).

Weaker properties

 * Stronger than::Characteristic ideal of a Lie ring
 * Stronger than::Derivation-invariant Lie subring
 * Stronger than::Characteristic subring of a Lie ring