manifold

一个群满足了 closure、associativity、identity、inverse 四个条件（注：不保证 commutative ）。而李群为具有连续性质的群。 其他更多的例子可以参考 [3]