豊福です。

さかいさん
>> 全順序21段から [0, 1, 2] への単調関数は 22*23/2 = 253個、
> 22*23/2 という式はどうやって出したのでしょうか?

1段
  012  の3個
2段
  012122
  000112  の6個
3段
  0121221222
  0001121122
  0000001112  の10個

n段目は n-1段目の下に 0 をつけたパターンに加えて
  1222...22
  1122...22
  1112...22
  ...
  1111...22
  1111...12  の n+1個

で合計 (n+1)(n+2)/2個
と数えました。
---
                        豊福
                        nobu_toyofuku / nifty.com


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/