Perfect direct factor of a Lie ring

Definition
A subring of a Lie ring is termed a perfect direct factor if it is perfect as a Lie ring and is a direct factor of the whole ring.

Weaker properties

 * Stronger than::Derivation-invariant direct factor
 * Stronger than::Perfect ideal of a Lie ring
 * Stronger than::Direct factor of a Lie ring