>>311のリンク先見たら普通にシンプルな定義じゃね?

帰納的に辞書式に定義するだけだと思うけど