Fréchet space
が連続であることとする。フレシェ空間の積はやはりフレシェ空間になるので、さらに D("P") を微分することを考えることができて、この方法論で "P" の高階導関数を定義することができる。