Lie Groups Beyond an Introduction
《Lie Groups Beyond an Introduction》 · 印刷第 69 页 Chapter I Section 10「Elementary Theory of Lie Groups」，Lie group 与 analytic group 的相邻定义句
A Lie group is a separable topological group with the structure of a smooth manifold such that multiplication and inversion are smooth. An analytic group is a connected Lie group.