Меню Главная Случайная статья Настройки Единственность Материал из https://ru.wikipedia.org Единственность — логическое суждение о необходимом тождестве объектов, удовлетворяющих заданному условию. При выполнении единственности объект, удовлетворяющий заданному условию, называется единственным. Как таковая, единственность не влечёт существование. В математике единственность элемента, удовлетворяющего условию P, понимается как ${\displaystyle \forall x,y:\quad P(x)\land P(y)\ \rightarrow \ x=y}$, где С точки зрения теории множеств единственность — утверждение, что мощность множества не превосходит 1, откуда и название. Часто встречается связка «существование и единственность», обозначаемая в математике диграфом Литература Н. Н. Непейвода. Прикладная логика. — Ижевск: Издательство Удмуртского университета, 1997. — С. 60. — 385 с. — ISBN 5-7029-0074-X.