上の佐藤超関数すべてのベクトル空間は， n=1 と n>1 で場合分けせずに書くには，相対コホモロジーを用いる．これが本来の定義． 台が Rn に含まれる切断だけを集める操作を，構造層 O に quasi-iso な flabby 層の複体に対しておこなう． とする． 構造層 …

対角化． 正方行列のべき乗．