 Lie subgroup

A Lie subgroup is a subgroup carrying a Lie group structure such that its inclusion is an injective immersion and a group homomorphism. Its Lie algebra includes in that of the ambient Lie group.