Nash group

Definition
A Nash group is a Nash manifold (i.e., there is an atlas such that the transition functions between the coordinate charts are Nash) such that the group multiplication and inverse map are both Nash, i.e., the transition functions they induce between the coordinate charts are Nash functions.