uniqueness quantification
logical quantification stating that a statement holds for exactly one object
MathWorld: UniqueWikipedia (English): Uniqueness_quantification
Wikidata: uniqueness quantification
nLab: uniqueness quantifier
mathswitch — infrastructure for relaying and exchanging mathematical concepts
logical quantification stating that a statement holds for exactly one object
MathWorld: Unique