次のように再帰的に定義できる。