Finitely generated Lie ring

Definition
A Lie ring $$L$$ is termed a finitely generated Lie ring if there is a finite subset $$S$$ of $$L$$ that is a generating set for $$L$$. Explicitly, this means that $$S$$ is not contained in any proper Lie subring of $$L$$.