Template:Lie algebra analogue of subgroup property

This article defines the analogue in the Lie algebra of the following subgroup property: