Definition 3
Tag 0ADC, permanent. Cite it as [Bourbaki, Tag 0ADC].
Lie Groups and Lie Algebras, chapter III, § 4. Passage from Lie algebras to Lie groups
The Lie group structure on defined in Proposition 9 is called the structure induced on by the Lie group structure on .
If is a Lie subgroup of , its Lie group structure is induced by that on (Differentiable and Analytic Manifolds, R, 5.8.5).
If and , then and hence the structure induced on is the discrete Lie group structure. Similarly if (considered as a complex Lie group) and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.