Fréchet space
で与えられる。これはフレシェ空間 "C"∞([0,1]) の（有限な "k" に対する）バナッハ空間 "C""k"([0,1]) に対する優位性である。