Q∪(Nᵢ,FO)

≡ { [i]nf ∞ ☉ Ω }