Kvantifikátor jednoznačné existence
Z Wikipedie, otevřené encyklopedie
Kvantifikátor jednoznačné existence je matematický symbol, používaný nejčastěji v predikátové logice. Je odvozen od existenčního kvantifikátoru přidáním symbolu „!“, který vlastně zpřísňuje výrok.
Jeho zápis ve tvaru ∃!x∈M f(x) znamená „Existuje právě jeden prvek x z množiny M, že pro něj platí formule f(x)“ Lze též použít zkrácený zápis ∃!x f(x), pokud je doména prvku x zřejmá z kontextu.
Patří mezi základní kvantifikátory spolu s obecným (univerzálním) kvantifikátorem a existenčním kvantifikátorem.
Etymologie symbolu: ∃ - převrácené velké písmeno E z anglického Exists = existuje.
