Finite Lazard Lie group

Definition
A finite Lazard Lie group is defined as a group $$G$$ satisfying the following equivalent conditions: