関数記号を超限回施して得られるものだけが集合とみたら、漏れがありますかね?