ここで "k"("x")は "x" 上の全てのコンパクト作用素の集合を表す。