いや、再帰的定義は定義として必要十分だけど…君が言ってるのは循環定義のことだと思う