Sie suchten nach: quantifier (Englisch - Japanisch)

quantifier
量化

universal quantifier, for all
すべての、普通限定子

existential quantifier, there is at least one
存在限定子 (少なくとも 1 つは存在する)

\<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\" visibility=\"visible\"\>普通限定子「for all」を挿入します。\</ahelp\>\<emph\>コマンド\</emph\>ウィンドウに直接入力する場合は \<emph\>forall\</emph\> とします。