Definition Let be a Lie algebra and be an ideal. The vector space is called the quotient Lie algebra of and . It is given the bracket which is well-defined since is an ideal.