Category:Unique Existential Quantifier
Jump to navigation
Jump to search
This category contains results about Unique Existential Quantifier.
Definitions specific to this category can be found in Definitions/Unique Existential Quantifier.
The symbol $\exists !$ denotes the existence of a unique object fulfilling a particular condition.
- $\exists ! x: \map P x$
means:
- There exists exactly one object $x$ such that $\map P x$ holds
or:
- There exists one and only one $x$ such that $\map P x$ holds.
This quantifier is called the unique existential quantifier.
Subcategories
This category has only the following subcategory.
Pages in category "Unique Existential Quantifier"
This category contains only the following page.