Category:Unique Existential Quantifier

From ProofWiki
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.