Lie algebra
若一李代數滿足條件二至四，稱之為約化李代數，這相當於說該李代數的伴隨表示是完全可約的。但這並不保證所有有限維線性表示都完全可約。