Canonically Lazard-divided Lie ring

Definition
A Lazard-divided Lie ring is termed a canonically Lazard-divided Lie ring if all the Lazard division operations are invariant under all the automorphisms of the underlying Lie ring.

The corresponding property of the underlying Lie ring is termed canonically Lazard-dividable Lie ring.