Вы здесь
- Еди́нственность — логическое суждение о необходимом тождестве объектов, удовлетворяющих заданному условию. При выполнении единственности объект, удовлетворяющий заданному условию, называется единственным. Как таковая, единственность не влечёт существование.
В математике единственность элемента, удовлетворяющего условию P, понимается как
∀
x
,
y
:
P
(
x
)
∧
P
(
y
)
→
x
=
y
{\displaystyle \forall x,y:\quad P(x)\land P(y)\ \rightarrow \ x=y}
где ∧ — логическое «и», → — импликация, а = — равенство...
