Lie group

A Lie group $G$ is smooth manifold that is also a group, such that the functions
$$(g,h)\in G^2\mapsto gh,\quad g\in G\mapsto g^{-1}$$are smooth maps.