A mathematical group with a continuous operation in which it is possible to label the group elements by a finite number of coordinates.

李氏数群(一个连续运算的数群，在运算中可以用同等的有限数去标记数群的元素)。