この場合 "l" の "k"-微分のリー代数は "l" 上 "n" 次元のベクトル空間でもある制限リー代数である、ただし["l":"k"] ＝ "p""n"、そして "l" の "k" を含む中間体は "l" 上ベクトル空間であるこのリー代数の制限リー部分代数に対応する。