Uniciteit

Uniciteit betekent in de wiskunde en logica dat een eigenschap voor precies één element van een verzameling geldt. De bijbehorende unieke existentiekwantor wordt genoteerd als $\exists!$.

Voorbeeld

De volgende uitspraak is waar: er is precies één positief reëel getal x zodanig dat x² = 3. Dit geldt namelijk voor $x = \sqrt{3}$. Wiskundigen noteren:

$\exists ! x \in \mathbb{R}^{+} : x^2 = 3.$.

De volgende uitspraak is echter onjuist: er is precies één reëel getal x zodanig dat x² = 3. Dit geldt namelijk voor $x= -\sqrt{3}$ en $x= \sqrt{3}$

$\lnot \exists ! x \in \mathbb{R} : x^2 = 3.$.

In het eerste geval geldt unieke existentie, in het tweede geval niet.

Zie ook

• Existentie
• Universaliteit