Ketunggalan (matematika)

Dalam matematika, ketunggalan suatu objek yang memenuhi suatu sifat berarti objek selain objek itu tidak memenuhi sifat tersebut. Dengan kata lain, objek lain yang memenuhi sifat tersebut adalah sama dengan objek itu. Dalam logika predikat pernyataan di atas dapat ditulis sebagai

$\mathrm{\exists }x\in P,(\mathrm{\forall }y,(y\ne x\Rightarrow y\in ̸P))$

atau setara dengan

$\mathrm{\exists }x\in P,(\mathrm{\forall }y,(y\in P\Rightarrow y=x))$

Notasi kuantor untuk keberadaan dan ketunggalan adalah $\mathrm{\exists }!$.

Perkataan "ada tepat satu" atau "satu dan satu-satunya" dapat digunakan untuk menujukkan makna ketunggalan.

Rujukan

Templat:Math-stub