一意
ユニーク
（unique）
必ず他の値と区別できる固有の値のこと
論理式による表記
$ p(a)
を満たす
$ a
が
もし存在するなら
一意である
$ :\iff\forall a,b;(p(a)\land p(b)\implies a=b)
↑の論理式のイメージがいまいちつかめない場合は、「
$ p(a)
を満たす
$ a
は2つ以上存在しえない」と解釈するといいかも
$ \lnot \exists a,b;P(a)\land P(b)\land a\neq b
/takker/存在するなら一意