Characteristic Lazard-divided Lie subring

Definition
A Lazard-divided Lie subring of a Lazard-divided Lie ring is termed characteristic if it is invariant under all automorphisms of the Lazard-divided Lie ring. Here, an automorphism of the Lazard-divided Lie ring must preserve all structure including the Lazard division operations.

Weaker properties

 * Lazard-divided Lie subring