Ketunggalan (matematika) itu apa sih?

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