Lazard normal subgroup

Definition
A subgroup of a group is termed a Lazard normal subgroup if it is a normal subgroup of the whole group and is also a Lazard Lie group in its own right.