▁for ▁each ▁subset ▁, ▁gives ▁the ▁subset ▁ ▁given ▁by ▁, ▁those ▁ ▁in ▁the ▁image ▁of ▁ ▁under ▁. ▁ ▁Similarly , ▁the ▁universal ▁quant ifier ▁ ▁is ▁a ▁fun ctor ▁that , ▁for ▁each ▁subset ▁, ▁gives ▁the ▁subset ▁ ▁given ▁by ▁, ▁those ▁ ▁whose ▁pre image ▁under ▁ ▁is ▁contained ▁in ▁. ▁ ▁The ▁more ▁familiar ▁form ▁of ▁the ▁quant ifiers ▁as ▁used ▁in ▁first - order ▁logic ▁is ▁obtained ▁by ▁taking ▁the ▁function ▁f ▁to ▁be ▁the ▁unique ▁function ▁ ▁so ▁that ▁ ▁is ▁the ▁two - element ▁set ▁holding ▁the ▁values ▁true ▁and ▁false , ▁a ▁subset ▁S ▁is ▁that ▁subset ▁for ▁which ▁the ▁predicate ▁ ▁holds , ▁and ▁ ▁which ▁is ▁true ▁if ▁ ▁is ▁not ▁empty , ▁and ▁ ▁which ▁is ▁false ▁if ▁S ▁is ▁not ▁X . ▁ ▁The ▁universal ▁and ▁exist ential ▁quant ifiers ▁given ▁above ▁general ize ▁to ▁the ▁pres he af ▁category . ▁ ▁See ▁also ▁▁ ▁Ex ist ential ▁quant ification ▁ ▁First - order ▁logic ▁ ▁List ▁of ▁logic ▁symbols — for ▁the ▁Unicode ▁symbol ▁ ∀ ▁ ▁Notes ▁ ▁References ▁▁▁ ▁( ch . ▁ 2 ) ▁ ▁External ▁links ▁▁▁▁ ▁Category : Log ic ▁symbols ▁Category : Log ical ▁expressions ▁Category : Quant ification <0x0A> </s> ▁Ba on eng ▁Sh eny ang ▁Global ▁Fin an cial ▁Center ▁() ▁is ▁an ▁un fin ished ▁sk ys cra per ▁Sh eny ang , ▁L ia oning , ▁China . ▁It ▁is ▁planned ▁to ▁be ▁ ▁tall . ▁Const ruction