遺伝的有限集合全体をHFとして
関係R⊆HF^nが⊿_1であるとき、
⊿_0集合S⊆HF^n+1が
a∈R⇔∃x∈HF((a,x)∈S)
となるようにとれる

キューネンの基礎論p292です
さらっと書いてあるんで自明なんでしょうけど、わかりません

どなたか証明をつけていただけないでしょうか
よろしくお願いします