Lazard correspondence establishes a correspondence between characteristic Lazard Lie subgroups and characteristic Lazard Lie subrings

Statement
Suppose $$G$$ is a Lazard Lie group, $$L$$ is its Lazard Lie ring, and $$\exp:L \to G$$ and $$\log:G \to L$$ are the exponential and logarithm maps respectively (they are both bijections and are inverses of each other). Note that we may wish to think of $$G$$ and $$L$$ as having the same underlying set and treat the bijections as being the identity map on the underlying set; however, for conceptual convenience, we are using separate symbols for the group and Lie ring and explicit names for the bijections.

This bijection establishes a correspondence:

characteristic Lazard Lie subgroups of $$G$$ $$\leftrightarrow$$ characteristic Lazard Lie subrings of $$L$$