Un "ideal" del álgebra de Lie A es un [[subespacio vectorial]] I de A tales que [a, y ] ∈ I para toda a ∈ A y ∈ I.