命令型言語の典型的な命令だって、表示意味論からすれば
可能な機械状態の集合Sの直積S×Sの部分集合にほかならない。
これはSからSへの純粋な関数そのものだ。