uniqueness quantification

logical quantification stating that a statement holds for exactly one object

en-US/juˈniknəs ˌkwɑntɪfəˈkeɪʃən/
en-GB/juːˈniːknəs kwɒntɪfɪkeɪʃn/

カテゴリ：

existential quantification