Lie group
구체적으로, 매끄러운 다양체 위에 리 군 formula_96가 매끄럽게 작용한다고 하자.