DがC^∞→R なら D(fg) は R の元
D(f)g + fD(g) は関数
としか解釈できない