Concept

Uniqueness quantification

Overview

logical quantification stating that a statement holds for exactly one object

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Compactness theorem
• Mathematics
• Quantifier (logic)
• Logic
• Category theory
• Universal quantification
• Existential quantification
• Equivalence relation

Place in the tradition

Part of Existence.

Explore Uniqueness quantification in the interactive graph →