Compact Lie group

Definition
A compact Lie group is a defining ingredient::Lie group whose underlying manifold (or topological space) is a compact space, or equivalently, it is a Lie group whose underlying topological group is a defining ingredient::compact group.