리 초대수
을 정의하면, 이는 formula_1-리 초대수를 이룬다. 이를 formula_9의 미분 리 초대수()라고 한다.