李群
滿足以上任一條件的李群稱為約化李群，有時我們也會加上條件formula_9。