$`\newcommand{\mrm}[1]{\mathrm{#1}}f_\mrm{The}`$ は、ひとつの確定したThe・関数とする。The・関数は、離散時間変数 $`t`$ の関数で整数値を値とする。$`t`$ が走る域〈domain〉は $`{\bf Z}`$ の有限部分集合 $`T \subset {\bf Z}`$ とみなせる。したが…