Por exemplo: existe e é única a solução da equação ln x=0.

Outro exemplo é o postulado das paralelas na Geometria Euclidiana:

"Existe, e é única, a reta paralela a uma reta r dada, que passa por um ponto P dado, sendo P não pertencente a r".

Observemos que , mas que não implica em .