uniqueness quantification

logical quantification stating that a statement holds for exactly one object

หมวดหมู่: