Lie group
就像群胚是有许多对象的群，一个李群胚可以想象为“有许多对象的李群推广”。恰如每个李群有一个李代数，每个李群胚有一个李代数胚。