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