Definition (Lie Group)

A Lie group is a set $G$ with two structures:

1. $G$ is a Group and;
2. $G$ is a real, Smooth Manifold.

These structures agree in the following sense: multiplication and inversion are Smooth maps.