定理に言う自然同型はx↦{χ↦χ(x)}i.e.x(χ):=χ(x){\displaystylex\mapsto\{\chi\mapsto\chi(x)\}{\mbox{i.e.}}x(\chi):=\chi(x)}と定義することによって与えられる。
定理中的自然同构定义如下：x↦{χ↦χ(x)}i.e.x(χ):=χ(x){\displaystylex\mapsto\{\chi\mapsto\chi(x)\}{\mbox{i.e.}}x(\chi):=\chi(x)}。