The Lie group–Lie algebra correspondence generalises to some extends also to Lie groupoids: the first two Lie's theorem (also known as the subgroups–subalgebras theorem and the homomorphisms theorem) can indeed be easily adapted to this setting.