$`\newcommand{\mrm}[1]{\mathrm{#1}}f_\mrm{The}`$ は、ひとつの確定したThe・関数とする。The・関数は、離散時間変数 $`t`$ の関数で整数値を値とする。$`t`$ が走る域〈domain〉は $`{\bf Z}`$ の有限部分集合 $`T \subset {\bf Z}`$ とみなせる。したがって、The・関数は
$`\quad f_\mrm{The} : T \to {\bf Z}`$
あるいは、
$`\quad f_\mrm{The} \in \mrm{Map}(T, {\bf Z})`$
なんらかの方法で作った関数 $`g \in \mrm{Map}(T, {\bf Z})`$ を考えて、$`e \in \mrm{Map}(T, {\bf Z})`$ を次のように定義する。
$`\text{For } t\in T\\
\quad e(t) := (g(t) - f_\mrm{The}(t))^2`$
この $`e\in \mrm{Map}(T, {\bf Z})`$ を調べる（続く）。
