$`\Gamma \mapsto \psi : T`$ が判断のとき、コンテキストのラベル〈名前〉をすべて取り除いたものを $`\widehat{\Gamma}`$ とする。プロファイルは：
$`\quad \widehat{\Gamma}\to T`$
$`f := \big\langle \Gamma \mapsto \psi : T\big\rangle`$ が定義のとき、そのプロファイルは：
$`\quad f: \widehat{\Gamma}\to T`$
次の形も使う。
$`\quad f: \widehat{\Gamma}\to T \\
\quad f \:\Gamma := \psi`$
