리 초대수
가환환 formula_1 위의 리 초대수 formula_2의 아이디얼은 formula_3의 부분 리 초대수 formula_4 가운데