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.