意義.判決は、確定した後に執行力(強制執行をすることができる力)が発生するのが本来である。しかし、日本の民事訴訟は、三審制を採用しているため、判決確定までに一定の時間がかかるので、確定までの間、第一審判決の勝訴者の権利が全うされない(特に仮執行宣言制度がない場合、一審で敗訴した被告が控訴・上告で裁判を引き延ばすことも横行しかねない。)。そこで、財産権上の請求権に関する判決について、仮執行宣言を付すことができることにして、上記弊害を除去し、権利者の保護を図っている。テンソル積数学におけるテンソル積(テンソルせき、)は、線型代数学で多重線型性を扱うための線型化を担う概念で、既知のベクトル空間・加群など様々な対象から新たな対象を作り出す操作の一つである。そのようないずれの対象に関しても、テンソル積は最もな双線型乗法である。共通の体上の二つのベクトル空間のテンソル積(基礎の体が明らかな時にはとも書く)はふたたびベクトル空間を成す。ベクトル空間のテンソル積を繰り返して得られるテンソル空間は物理的なテンソルを数学的に定式化する。テンソル空間に種々の積を入れてさまざまな多重線型代数・クリフォード代数が定式化されるが、その基本となる演算がテンソル積である。定義.基底を用いた定義.の形の有限和に表される。これにより、任意のベクトルおよびのテンソル積が定義できる。実際、基底ベクトルとのテンソル積は与えられているから、任意のベクトルの積はこれを双線型な仕方で拡張して得られる。すなわちに対して、これらのテンソル積はと定められる。ベクトルのテンソル積は以下の性質を満たす:ベクトルおよびとスカラーに対してベクトルのテンソル積は一般には可換でない。実際、のときに対して、それらのテンソル積はおよびで属する空間自体が異なる。またのときでもとは一般には異なる。商としての定義.で与えられる同値関係による商として定義することができる。これはにおける演算から誘導される演算によりベクトル空間を成す。言葉を変えれば、テンソル積空間は上記の同値関係に関する零ベクトルの属する同値類をとするときの商線型空間である。より具体的に書けば、部分空間は適当なを用いて