介紹全律D模層(holonomic sheaf of D-modules )一種特殊的D模層.對解析係數微分運算元層D上的模層產，若它的特徵簇SS<川在餘切叢T‘ (C")中具有可能達到的最小維數，則稱產為全律D模層.
