mathswitch — infrastructure for relaying and exchanging mathematical concepts

uniqueness quantification

logical quantification stating that a statement holds for exactly one object

MathWorld: Unique
Wikipedia (English): Uniqueness_quantification
Wikidata: uniqueness quantification
nLab: uniqueness quantifier