Lazard Lie subgroup

Definition
A subgroup of a group is termed a Lazard Lie subgroup if the subgroup is a Lazard Lie group viewed as a group in its own right.