Introduction to Lie Algebras and Representation Theory
《Introduction to Lie Algebras and Representation Theory》 · 第 6 页 · Section 2.1「Ideals」
A subspace $I$ of a Lie algebra $L$ is called an ideal of $L$ if $x\in L$, $y\in I$ together imply $[xy]\in I$.