"h"1と "h"2とのヒルベルトテンソル積formula_110とは、いま定義した内積に付随する距離位相に関して "h"1 ⊗ "h"2を完備化して得られるものをいう。