李代數
Any semisimple Lie algebra or abelian Lie algebra is "a fortiori" reductive.