二項述語の二重量化「∀x∈S ∃y∈T P(x,y)」「上極限集合に属す」

二項述語の二重量化「∀x∈S ∃y∈T P(x,y)」.
「上極限集合に属す」の表現∀n∈N　∃m∈N　 (m≧n　かつ ω∈A_m)を具体例に追加。