Je was op zoek naar: quantifier (Engels - Koreaans)

universal quantifier, for all
전체 한정자, 모두에 대해

existential quantifier, there is at least one
존재 한정자, 최소 하나는 존재

\<ahelp hid=\"hid_sma_forall\"\>inserts the symbol for a universal quantifier "for all".\</ahelp\>command for the \<emph\>commands\</emph\> window: \<emph\>forall\</emph\>
\<ahelp hid=\"hid_sma_forall\"\>전체 한정자 "모두에 대해" 기호를 삽입합니다.\</ahelp\>\<emph\>명령\</emph\> 창에서 사용하는 명령: \<emph\>forall\</emph\>