$`\newcommand{\mrm}[1]{\mathrm{#1}}T`$ も $`S`$ も整数の集合 $`{\bf Z}`$ の有限部分集合（おそらく離散区間）、そのあいだの関数の集合は、$`\quad \mrm{Map}(T, S)`$ （有限集合）$`S`$ は、$`{\bf Z}`$ から引き継いだ順序 $`\le`$ を持つので、次の…

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