ユニーク（unique）

必ず他の値と区別できる固有の値のこと

論理式による表記

p(a)を満たすaがもし存在するなら一意である:\iff\forall a,b;(p(a)\land p(b)\implies a=b)

↑の論理式のイメージがいまいちつかめない場合は、「p(a)を満たすaは2つ以上存在しえない」と解釈するといいかも