命題
X を局所コンパクト空間とする。
E を実数体または複素数体上の分離的な位相線形空間ととする。
K と L を X のコンパクト集合で K ⊂ L とする。
K(X, K, E) と K(X, L, E) にはそれぞれ一様収束の位相を与える。
このとき K(X, K, E) は K(X, L, E) の閉部分空間である。

証明
>>664 の証明と同様に
K(X, K, E) は { f ∈ K(X, L, E) | f(L - int(K)) = 0 } と同一視
される。
よって >>696 の証明と同様に K(X, K, E) は K(X, L, E) で閉である。
証明終