mathswitch — infrastructure for relaying and exchanging mathematical concepts

uniqueness quantification

logical quantification stating that a statement holds for exactly one object

Wikidata: uniqueness quantification