関数の畳み込みはと書き、以下のように定義される: