리 대수
Any semisimple Lie algebra or abelian Lie algebra is "a fortiori" reductive.