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